package farith

You can search for identifiers within the package.

in-package search v0.2.0

farith
- Library farith
  - Farith
    
    Mode
    
    Classify
    
    F
    
    I
- Sources
  - farith
    
    Assert.ml
    
    BinInt.ml
    
    BinNums.ml
    
    BinPos.ml
    
    BinPosDef.ml
    
    Binary.ml
    
    BinarySingleNaN.ml
    
    Bits.ml
    
    Bool.ml
    
    Datatypes.ml
    
    Defs.ml
    
    FloatClass.ml
    
    GenericFloat.ml
    
    Interval.ml
    
    Op.ml
    
    Operations.ml
    
    Qextended.ml
    
    Round.ml
    
    SpecFloat.ml
    
    Specif.ml
    
    Utils.ml
    
    Version.ml
    
    Zaux.ml
    
    Zbool.ml
    
    Zpower.ml
    
    farith.ml
    
    farith_Big.ml
    
    farith__.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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