Module Rte.Parameter_map


module Parameter_map: sig .. end

include struct ... end
val print : bool Datatype.String.Map.t -> unit
val is_one_true : except:Datatype.String.Map.key option -> bool Datatype.String.Map.t -> bool
val is_true : Datatype.String.Map.key -> bool Datatype.String.Map.t -> bool
val generating_opts : (string * (unit -> Rte_parameters.DoSignedOverflow.t) * bool *
(Rte.RTE_Signed_Generated.key -> Datatype.Bool.t -> unit))
list
val other_opts : (string * (unit -> Rte_parameters.ConstFold.t)) list
val empty_gen : Rte_parameters.DoSignedOverflow.t Datatype.String.Map.t
val empty_other : Rte_parameters.ConstFold.t Datatype.String.Map.t
val gen_from_command_line_options : unit -> Rte_parameters.DoSignedOverflow.t Datatype.String.Map.t
val set_precond : bool Datatype.String.Map.t -> bool Datatype.String.Map.t
val set_all_rte : bool Datatype.String.Map.t -> bool Datatype.String.Map.t
val set_unsignedOv : bool Datatype.String.Map.t -> bool Datatype.String.Map.t
val other_from_command_line_options : unit -> Rte_parameters.ConstFold.t Datatype.String.Map.t