Index - V
| ValueId | |
| 1 (Type/Class) | AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached |
| 2 (Data Constructor) | AERN2.QA.NetLog, AERN2.QA.Strategy.Cached.Arrow, AERN2.QA.Strategy.Cached |
aern2-real-0.1.0.3: Exact real numbers via Cauchy sequences and MPFR