Up
–
coq
»
Micromega_plugin
»
Micromega
» PositiveSet
Module
Micromega.PositiveSet
type
tree
=
|
Leaf
|
Node
of
tree
* bool *
tree