module type Key = sig .. end
sig
end
include Datatype.S_with_collections
type marshaled
val marshaler : (t -> marshaled) * (marshaled -> t)
(t -> marshaled) * (marshaled -> t)
val equal_marshaled : marshaled -> marshaled -> bool
marshaled -> marshaled -> bool
val hash_marshaled : marshaled -> int
marshaled -> int