Module Unprime_char
Shadowing Char.
Inclusion of this structure shadows Char with an extened structure containing the definitions from Prime_char.
module Char : sig ... endUnprime_charShadowing Char.
Inclusion of this structure shadows Char with an extened structure containing the definitions from Prime_char.
module Char : sig ... end