module Domain:Datatype.Make
(
sig
typet =
VarUsage.Occur.t VarUsage.Omap.t
include Datatype.Serializable_undefinedval reprs :'a VarUsage.Omap.t list
val name :string
end
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
x
and copy x
.