Index - G
| gcastWith | Data.Type.Witness |
| getRepresentative | Data.Type.Witness.General.Representative, Data.Type.Witness |
| getRepWitness | Data.Type.Witness.General.Representative, Data.Type.Witness |
| getSingleAllOf | Data.Type.Witness.Specific.Single, Data.Type.Witness |
| Greater | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| GreaterEqual | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| greaterEqualIndex | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |
| greaterIndex | Data.Type.Witness.Specific.PeanoNat, Data.Type.Witness |