Index
| &&. | Language.Dove.Syntax, Language.Dove |
| <. | Language.Dove.Syntax, Language.Dove |
| <=. | Language.Dove.Syntax, Language.Dove |
| ==. | Language.Dove.Syntax, Language.Dove |
| >. | Language.Dove.Syntax, Language.Dove |
| >=. | Language.Dove.Syntax, Language.Dove |
| Abs | Language.Dove.Syntax, Language.Dove |
| acl2 | Language.Dove.ACL2, Language.Dove |
| Add | Language.Dove.Syntax, Language.Dove |
| And | Language.Dove.Syntax, Language.Dove |
| Array | Language.Dove.Syntax, Language.Dove |
| ArrayAppend | Language.Dove.Syntax, Language.Dove |
| ArrayProject | Language.Dove.Syntax, Language.Dove |
| ArrayUpdate | Language.Dove.Syntax, Language.Dove |
| BinOp | |
| 1 (Type/Class) | Language.Dove.Syntax, Language.Dove |
| 2 (Data Constructor) | Language.Dove.Syntax, Language.Dove |
| Bool | Language.Dove.Syntax, Language.Dove |
| check | Language.Dove.ACL2, Language.Dove |
| check' | Language.Dove.ACL2, Language.Dove |
| Comment | Language.Dove.Syntax, Language.Dove |
| Eq | Language.Dove.Syntax, Language.Dove |
| Expr | Language.Dove.Syntax, Language.Dove |
| false | Language.Dove.Syntax, Language.Dove |
| ForAll | Language.Dove.Syntax, Language.Dove |
| forAll | Language.Dove.Syntax, Language.Dove |
| Ge | Language.Dove.Syntax, Language.Dove |
| Gt | Language.Dove.Syntax, Language.Dove |
| If | Language.Dove.Syntax, Language.Dove |
| if' | Language.Dove.Syntax, Language.Dove |
| Implies | Language.Dove.Syntax, Language.Dove |
| implies | Language.Dove.Syntax, Language.Dove |
| Integer | Language.Dove.Syntax, Language.Dove |
| IsArray | Language.Dove.Syntax, Language.Dove |
| isArray | Language.Dove.Syntax, Language.Dove |
| IsInt | Language.Dove.Syntax, Language.Dove |
| isInt | Language.Dove.Syntax, Language.Dove |
| Le | Language.Dove.Syntax, Language.Dove |
| Length | Language.Dove.Syntax, Language.Dove |
| length' | Language.Dove.Syntax, Language.Dove |
| Let | Language.Dove.Syntax, Language.Dove |
| let' | Language.Dove.Syntax, Language.Dove |
| Lt | Language.Dove.Syntax, Language.Dove |
| Mod | Language.Dove.Syntax, Language.Dove |
| mod' | Language.Dove.Syntax, Language.Dove |
| Mul | Language.Dove.Syntax, Language.Dove |
| Negate | Language.Dove.Syntax, Language.Dove |
| Not | Language.Dove.Syntax, Language.Dove |
| not' | Language.Dove.Syntax, Language.Dove |
| optimize | Language.Dove.Optimize, Language.Dove |
| Or | Language.Dove.Syntax, Language.Dove |
| Record | Language.Dove.Syntax, Language.Dove |
| RecordOverlay | Language.Dove.Syntax, Language.Dove |
| RecordProject | Language.Dove.Syntax, Language.Dove |
| Signum | Language.Dove.Syntax, Language.Dove |
| Sub | Language.Dove.Syntax, Language.Dove |
| true | Language.Dove.Syntax, Language.Dove |
| UniOp | |
| 1 (Type/Class) | Language.Dove.Syntax, Language.Dove |
| 2 (Data Constructor) | Language.Dove.Syntax, Language.Dove |
| Unit | Language.Dove.Syntax, Language.Dove |
| unit | Language.Dove.Syntax, Language.Dove |
| Var | Language.Dove.Syntax, Language.Dove |
| ||. | Language.Dove.Syntax, Language.Dove |