Index - V
| validDivisor | Domain.Math.Data.DecimalFraction |
| Var | |
| 1 (Data Constructor) | Domain.Logic.Formula |
| 2 (Data Constructor) | Domain.Math.Expr.Data, Domain.Math.Expr |
| var | Domain.Math.Data.Polynomial |
| varsLogic | Domain.Logic.Formula |
ideas-math-types-1.1: Common types for mathematical domain reasoners