package spotlib

  1. Overview
  2. Docs
package spotlib
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Spotlib.UniqueIDSource

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"