module type Key = sig .. end
sig
end
include Datatype.S
val is_null : t -> bool
t -> bool
val null : t
t
val id : t -> int
t -> int