- [ { "stratified static type assignment" * } {
- [ "sta ( ⦃?,?⦄ ⊢ ? •[?,?] ? )" "sta_lift" + "sta_lpx_sn" + "sta_aaa" + "sta_sta" * ]
+ [ { "stratified equivalence" * } {
+ [ "steq ( ? ≡[?,?] ? )" "steq_steq" * ]
+ }
+ ]
+ [ { "static type assignment" * } {
+ [ "sta ( ⦃?,?⦄ ⊢ ? •[?] ? )" "sta_lift" + "sta_lpx_sn" + "sta_aaa" + "sta_sta" * ]