module StateManager:sig
..end
module FuncOptionTbl:Kernel_function.Make_Table
(
Datatype.Pair
(
Rte.Parameter_map
)
(
Rte.Parameter_map
)
)
(
sig
end
)
val find_current_gen_options : FuncOptionTbl.key -> Rte.Parameter_map.t
val find_current_other_options : FuncOptionTbl.key -> Rte.Parameter_map.t