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.