[ { "dynamic typing" * } {
[ { "local env. ref. for native type assignment" * } {
[ "lsubn ( ? ⊢ ? :⊑ ? )" "lsubn_ldrop" "lsubn_cpcs" "lsubn_nta" * ]
}
]
[ { "native type assignment" * } {
[ { "dynamic typing" * } {
[ { "local env. ref. for native type assignment" * } {
[ "lsubn ( ? ⊢ ? :⊑ ? )" "lsubn_ldrop" "lsubn_cpcs" "lsubn_nta" * ]
}
]
[ { "native type assignment" * } {