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