Module Micromega.PositiveSet

type tree =
| Leaf
| Node of tree * bool * tree