Imperative.S
module Concrete (V : sig ... end) : sig ... end
module Abstract (V : sig ... end) : sig ... end
module ConcreteLabeled (V : sig ... end) (E : sig ... end) : sig ... end
module AbstractLabeled (V : sig ... end) (E : sig ... end) : sig ... end