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