Module `Micromega.Vars`

type elt = positive
type tree = PositiveSet.tree = | Leaf | Node of tree * bool * tree
type t = tree

val empty : t
val add : elt -> t -> t
val singleton : elt -> t
val union : t -> t -> t
val rev_append : elt -> elt -> elt
val rev : elt -> elt
val xfold : (elt -> 'a1 -> 'a1) -> t -> 'a1 -> elt -> 'a1
val fold : (elt -> 'a1 -> 'a1) -> t -> 'a1 -> 'a1