Module Micromega.Pos

type mask =
| IsNul
| IsPos of positive
| IsNeg