sig
  type t = Cudd.Man.tbool array
  val is_indet : Bdd.Reg.Minterm.t -> bool
  val of_int : int -> int -> Bdd.Reg.Minterm.t
  val to_int : signed:bool -> Bdd.Reg.Minterm.t -> int
  val iter : (Bdd.Reg.Minterm.t -> unit) -> Bdd.Reg.Minterm.t -> unit
  val map : (Bdd.Reg.Minterm.t -> 'a) -> Bdd.Reg.Minterm.t -> 'a list
end