module DatabaseType:Datatype.Make
(
sig
typet =
LogicUsage.database
include Datatype.Serializable_undefinedval reprs :LogicUsage.database list
val name :string
end
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
x
and copy x
.