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