module ENTRIES: Datatype.Make(sig type t = Model.Index.entries include Datatype.Serializable_undefined val reprs : Model.Index.entries list val name : stringend)
Datatype.Make
(
sig
type t = Model.Index.entries
Model.Index.entries
include Datatype.Serializable_undefined
val reprs : Model.Index.entries list
Model.Index.entries list
val name : string
string
end
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Datatype.t -> Datatype.t
x
copy x