module FilenameExtra:Additional features for the standard modulesig
..end
Filename
.
Open this module in order to use the extended version of Filename
instead of
the standard one.module Extra:sig
..end
module Filename:sig
..end
Filename
.