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 |