module SlevelFunction:StringHashtbl
(
sig
val option_name :string
val arg_name :string
val help :string
end
)
(
sig
include Datatype.Intval parse :string -> string * int
val redefine_binding :'a -> old:'b -> 'c -> 'c
val no_binding :'a -> SemanticUnrollingLevel.t
end
)