1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
(** @canonical Farith.Assert *)
module Assert = Farith__Assert
(** @canonical Farith.BinInt *)
module BinInt = Farith__BinInt
(** @canonical Farith.BinNums *)
module BinNums = Farith__BinNums
(** @canonical Farith.BinPos *)
module BinPos = Farith__BinPos
(** @canonical Farith.BinPosDef *)
module BinPosDef = Farith__BinPosDef
(** @canonical Farith.Binary *)
module Binary = Farith__Binary
(** @canonical Farith.BinarySingleNaN *)
module BinarySingleNaN = Farith__BinarySingleNaN
(** @canonical Farith.Bits *)
module Bits = Farith__Bits
(** @canonical Farith.Bool *)
module Bool = Farith__Bool
(** @canonical Farith.Datatypes *)
module Datatypes = Farith__Datatypes
(** @canonical Farith.Defs *)
module Defs = Farith__Defs
(** @canonical Farith.Farith_Big *)
module Farith_Big = Farith__Farith_Big
(** @canonical Farith.FloatClass *)
module FloatClass = Farith__FloatClass
(** @canonical Farith.GenericFloat *)
module GenericFloat = Farith__GenericFloat
(** @canonical Farith.Interval *)
module Interval = Farith__Interval
(** @canonical Farith.Op *)
module Op = Farith__Op
(** @canonical Farith.Operations *)
module Operations = Farith__Operations
(** @canonical Farith.Qextended *)
module Qextended = Farith__Qextended
(** @canonical Farith.Round *)
module Round = Farith__Round
(** @canonical Farith.SpecFloat *)
module SpecFloat = Farith__SpecFloat
(** @canonical Farith.Specif *)
module Specif = Farith__Specif
(** @canonical Farith.Utils *)
module Utils = Farith__Utils
(** @canonical Farith.Version *)
module Version = Farith__Version
(** @canonical Farith.Zaux *)
module Zaux = Farith__Zaux
(** @canonical Farith.Zbool *)
module Zbool = Farith__Zbool
(** @canonical Farith.Zpower *)
module Zpower = Farith__Zpower