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.