Module LogicUsage.DatabaseType

module DatabaseType: Datatype.Make(sig

type t = LogicUsage.database 

include Datatype.Serializable_undefined

val reprs : LogicUsage.database list
val name : string
end)

include Datatype.S_no_copy

val copy : Datatype.t -> Datatype.t