class "wine"
[ { "iterated dynamic typing" * } {
[ { "context-sensitive iterated native type assignment" * } {
- [ [ "for terms" ] "ntas" + "( ⦃?,?⦄ ⊢ ? :*[?,?,?] ? )" "ntas_nta" + "ntas_preserve" * ]
+ [ [ "for terms" ] "ntas" + "( ⦃?,?⦄ ⊢ ? :*[?,?,?] ? )" "ntas_cpcs" + "ntas_nta" + "ntas_nta_ind" + " ntas_ntas" + "ntas_preserve" * ]
}
]
}
}
]
[ { "global env. slicing" * } {
- [ [ "" ] "gget ( â¬\87[?] ? ≘ ? )" "gget_gget" * ]
+ [ [ "" ] "gget ( â\87©[?] ? ≘ ? )" "gget_gget" * ]
}
]
[ { "context-sensitive ordinary rt-substitution" * } {