Domains.Assert_false_domain
module Dummy_Enum_Lattice : sig ... end
module Boolean : sig ... end
module Integer : sig ... end
module Binary : sig ... end
module Enum : sig ... end
module Domain : Sig.BASE