+ [ { "dynamic typing" * } {
+ [ { "local env. ref. for native type assignment" * } {
+ [ "lsubn ( ? ⊢ ? :⊑ ? )" "lsubn_ldrop" "lsubn_cpcs" "lsubn_nta" * ]
+ }
+ ]
+ [ { "native type assignment" * } {
+ [ "nta ( ⦃?,?⦄ ⊢ ? : ? )" "nta_alt ( ⦃?,?⦄ ⊢ ? :: ? )" "nta_lift" "nta_ltpss" "nta_thin" "nta_sta" "nta_nta" * ]