module Sid: sig .. end
sig
end
type t = int
int
val compare : 'a -> 'a -> int
'a -> 'a -> int
val hash : 'a -> 'a
'a -> 'a
val id : 'a -> 'a
val default : int
val pretty : Format.formatter -> int -> unit
Format.formatter -> int -> unit
module Datatype: Datatype.Int
Datatype.Int