Module type Rte.Generated


module type Generated = sig .. end

val get : Db_types.kernel_function -> bool
val set : Db_types.kernel_function -> bool -> unit
val get_state : Db_types.kernel_function -> State.t
val self : State.t