Module `Cduce_types__.Bdd`

type 'a line = 'a list * 'a list
type 'a dnf = 'a line list

module type S = sig ... end

module Make : functor (E : Custom.T) -> S with type atom = E.t and type line = E.t line and type dnf = E.t dnf

module VarIntervals : S with type mono = Cduce_types.Intervals.t and type atom = Cduce_types.Intervals.elem and type dnf = Cduce_types.Intervals.t

module VarCharSet : S with type mono = Cduce_types.CharSet.t and type atom = Cduce_types.CharSet.elem and type dnf = Cduce_types.CharSet.t

module VarAtomSet : S with type mono = Cduce_types.AtomSet.t and type atom = Cduce_types.AtomSet.elem and type dnf = Cduce_types.AtomSet.t

module VarAbstractSet : S with type mono = Cduce_types.AbstractSet.t and type atom = Cduce_types.AbstractSet.elem and type dnf = Cduce_types.AbstractSet.t