module Value_parameters: sig
.. end
include struct ... end
val add_dependency : Project.Computation.t -> unit
module ForceValues: Action
(
sig
end
)
module MemFunctions: StringSet
(
sig
end
)
module MemExecAll: False
(
sig
end
)
module NoResultsFunctions: StringSet
(
sig
end
)
module NoResultsAll: False
(
sig
end
)
module SignedOverflow: False
(
sig
end
)
module MemoryFootprint: Int
(
sig
end
)
val initial_context : Plugin.group
module AutomaticContextMaxDepth: Int
(
sig
end
)
module AutomaticContextMaxWidth: Int
(
sig
end
)
module AllRoundingModes: False
(
sig
end
)
module AllocatedContextValid: False
(
sig
end
)
val precision_tuning : Plugin.group
module PropagateTop: False
(
sig
end
)
module WideningLevel: Int
(
sig
end
)
module ArrayPrecisionLevel: Int
(
sig
end
)
module SemanticUnrollingLevel: Zero
(
sig
end
)
module SlevelFunction: StringHashtbl
(
sig
end
)
(
sig
end
)
module Subdivide_float_in_expr: Zero
(
sig
end
)