Up – Package index » spotlib » Library spotlib » Spotlib » UniqueID

Module `Spotlib.UniqueID`Source

Sourcetype t

Sourceval create : unit -> t

Sourceval get : t -> int

get t creates a new id positive integer (>=0). It may raise Failure "UniqueID.get: overflow"