Module Micromega.Pos

type mask =
  1. | IsNul
  2. | IsPos of positive
  3. | IsNeg