Previous
Up
Module
StrExtra.Str
(
.ml
)
module
Str:
sig
..
end
Redefinition of module
Str
.
Standard
include
Str
Extra
include
Extra
For more details on additional definitions see the documentation of the module
StrExtra.Extra