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