Index - G
| Goal | |
| 1 (Type/Class) | Twee |
| 2 (Data Constructor) | Twee |
| goal | Twee |
| goal_eqn | Twee |
| goal_expanded_lhs | Twee |
| goal_expanded_rhs | Twee |
| goal_lhs | Twee |
| goal_name | Twee |
| goal_number | Twee |
| goal_rhs | Twee |
| green | Twee.Pretty, Twee.Base |
| ground | Twee.Base |
| groundAxiomsAndSubsts | Twee.Proof |
| groundJoin | Twee.Join |
| groundJoinFrom | Twee.Join |
| groundJoinFromMaybe | Twee.Join |