module Extras:All extra modules grouped in a single module. Open this module in order to use the extended versions of:sig
..end
List
String
Str
Unix
Sys
Filename
Prelude
module List: ListExtra.List
module String: StringExtra.String
module Str: StrExtra.Str
module Unix: UnixExtra.Unix
module Sys: SysExtra.Sys
module Filename: FilenameExtra.Filename
module Prelude: PreludeExtra.Prelude