Revision f0195e96
Added by Pierre-Loïc Garoche over 3 years ago
| src/real.mli | ||
|---|---|---|
| 18 | 18 |
val diseq: t -> t -> bool |
| 19 | 19 |
|
| 20 | 20 |
val to_num: t -> Num.num |
| 21 |
val to_q: t -> Q.t |
|
| 21 | 22 |
val to_string: t -> string |
| 22 | 23 |
val eq: t -> t -> bool |
| 23 | 24 |
val zero: t |
Also available in: Unified diff
- Primitive Tiny backend
- Renamed Mpfr to lustrec_mpfr
- Introduced dependency in Zarith. Trying to move away from Num