Source file BinPosDef.ml

1
2
3
4
5
6
7
8
9
# 1 "extracted/BinPosDef.ml"

module Pos =
 struct
  type mask =
  | IsNul
  | IsPos of Farith_Big.big_int
  | IsNeg
 end