Previous
Up
Next
Module
ListExtra
(
.ml
)
module
ListExtra:
sig
..
end
Additional features for the standard module
List
. Open this module in order to use the extended version of
List
instead of the standard one.
module
Extra
:
sig
..
end
Extra definitions.
module
List
:
sig
..
end
Redefinition of module
List
.