Module Extras.Str (.ml)


module Str: StrExtra.Str


Standard


include Str

Extra


include Extra
For more details on additional definitions see the documentation of the module StrExtra.Extra