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