module ENTRIES:Datatype.Make
(
sig
typet =
Model.Static.entries
include Datatype.Serializable_undefinedval reprs :Model.Static.entries list
val name :string
end
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
x
and copy x
.