Module Formula.Benum

module Benum: sig .. end

type t = Bddenum.t 

val of_expr : Formula.expr -> t

val to_expr : t -> Formula.expr

val var : #Formula.db -> Var.t -> t

val ite : #Formula.db -> Bdd.t -> t -> t -> t

val eq : #Formula.db -> t -> t -> Bdd.t

val eq_label : #Formula.db -> t -> Var.t -> Bdd.t

val print : #Formula.db -> Format.formatter -> t -> unit