Module Value_parameters


module Value_parameters: sig .. end

include struct ... end
val add_dependency : Project.Computation.t -> unit
module ForceValues: Action(sig
val option_name : string
val descr : string
end)
module MemFunctions: StringSet(sig
val option_name : string
val arg_name : string
val descr : string
end)
module MemExecAll: False(sig
val option_name : string
val descr : string
end)
module NoResultsFunctions: StringSet(sig
val option_name : string
val arg_name : string
val descr : string
end)
module NoResultsAll: False(sig
val option_name : string
val descr : string
end)
module SignedOverflow: False(sig
val option_name : string
val descr : string
end)
module MemoryFootprint: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
val initial_context : Plugin.group
module AutomaticContextMaxDepth: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
module AutomaticContextMaxWidth: Int(sig
val option_name : string
val default : int
val arg_name : string
val descr : string
end)
module AllRoundingModes: False(sig
val option_name : string
val descr : string
end)
module AllocatedContextValid: False(sig
val option_name : string
val descr : string
end)
val precision_tuning : Plugin.group
module PropagateTop: False(sig
val option_name : string
val descr : string
end)
module WideningLevel: Int(sig
val default : int
val option_name : string
val arg_name : string
val descr : string
end)
module ArrayPrecisionLevel: Int(sig
val default : int
val option_name : string
val arg_name : string
val descr : string
end)
module SemanticUnrollingLevel: Zero(sig
val option_name : string
val arg_name : string
val descr : string
end)
module SlevelFunction: StringHashtbl(sig
val option_name : string
val arg_name : string
val descr : string
end)(sig
include Datatype.Int
val rx : Str.regexp
val parse : string -> string * int
val no_binding : 'a -> Value_parameters.SemanticUnrollingLevel.t
end)
module Subdivide_float_in_expr: Zero(sig
val option_name : string
val arg_name : string
val descr : string
end)