Module BinPosDef.Pos

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