module SlevelFunction: StringHashtbl(sigval option_name : stringval arg_name : stringval descr : stringend)(siginclude Datatype.Int val rx : Str.regexpval parse : string -> string * intval no_binding : 'a -> Value_parameters.SemanticUnrollingLevel.tend)
StringHashtbl
(
sig
val option_name : string
string
val arg_name : string
val descr : string
end
)
include Datatype.Int
val rx : Str.regexp
Str.regexp
val parse : string -> string * int
string -> string * int
val no_binding : 'a -> Value_parameters.SemanticUnrollingLevel.t
'a -> Value_parameters.SemanticUnrollingLevel.t