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