module type Id = sig .. end
sig
end
type t
include Comparable.S_binable
include Hashable
include Intable
include Sexpable
include Binable
include Stringable
val create : unit -> t
unit -> t