Module Unprime_list
Shadowing List.
Including this structure shadows List with a structure containing the original and the Prime_list extensions.
module List : sig ... endUnprime_listShadowing List.
Including this structure shadows List with a structure containing the original and the Prime_list extensions.
module List : sig ... end