Module Value_parameters.SlevelFunction

module SlevelFunction: StringHashtbl(sig

val option_name : string
val arg_name : string
val help : string
end)(sig
include Datatype.Int

val parse : string -> string * int
val redefine_binding : 'a -> old:'b -> 'c -> 'c
val no_binding : 'a -> SemanticUnrollingLevel.t
end)