Module Single_value_abstraction

module Quadrivalent : sig ... end
module Ival : sig ... end
module Dummy : sig ... end
module Sig : sig ... end