module type ID =sig
..end
type
id
val to_int : id -> int
val from_int : int -> id
val compare : id -> id -> int
val succ : id -> id
val scribe : 'a Conduit.conduit -> 'a -> id -> unit
val zero : id
val sweep : id -> (id -> unit) -> unit
val io : id Io.literate