Functor Rte.GENERATED


module GENERATED: 
functor (M : sig
val name : string
val default : Db_types.kernel_function -> bool
end) ->
functor (Proxy : sig
val self : State.t
val get_state : Db_types.kernel_function -> State.t
end) -> sig .. end
Parameters:
M : sig val name:string val default: kernel_function -> bool end
Proxy : sig val self : State.t val get_state : kernel_function -> State.t end

include struct ... end
val add : Kernel_function.t -> State.t list -> data -> unit
val get : key -> Datatype.Bool.t
val get_state : key -> State.t
val set : key -> Datatype.Bool.t -> unit