Previous
Up
Next
Module
StrExtra
(
.ml
)
module
StrExtra:
sig
..
end
Additional features for the standard library
Str
. Open this module in order to use the extended version of
Str
instead of the standard one.
module
Extra
:
sig
..
end
Extra definitions.
module
Str
:
sig
..
end
Redefinition of module
Str
.