Module Value_parameters.SlevelFunction


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)