module Database: State_builder.Ref(DatabaseType)(sig val name : string val dependencies : State.t list val default : unit -> LogicUsage.databaseend)
State_builder.Ref
(
DatabaseType
)
sig
val name : string
string
val dependencies : State.t list
State.t list
val default : unit -> LogicUsage.database
unit -> LogicUsage.database
end
include State_builder.S
type data
val set : data -> unit
data -> unit
val get : unit -> data
unit -> data
val clear : unit -> unit
unit -> unit