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