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