Module Rte.StateManager


module StateManager: sig .. end

module FuncOptionTbl: Kernel_function.Make_Table(Datatype.Pair(Rte.Parameter_map)(Rte.Parameter_map))(sig
val size : int
val name : string
val dependencies : State.t list
val kind : [> `Correctness ]
end)
val find_current_gen_options : FuncOptionTbl.key -> Rte.Parameter_map.t
val find_current_other_options : FuncOptionTbl.key -> Rte.Parameter_map.t