Index - G
| getArray | Twee.Term.Core |
| getIndex | Twee.Term.Core |
| getMax | Twee.Utils |
| getMaxWith | Twee.Utils |
| getMin | Twee.Utils |
| getMinWith | Twee.Utils |
| getSize | Twee.Term.Core |
| goals | Twee |
| groundJoin | Twee |
| groundJoinable | Twee |
| groundJoinableEq | Twee |
| GroundJoined | Twee |
twee-0.1: An equational theorem prover