16 [ "genv_primitive" "judgment" * ]
23 [ { "functional" * } {
24 [ { "reduction and type machine" * } {
25 [ "rtm" "rtm_step ( ? ⇨ ? )" * ]
28 [ { "relocation" * } {
29 [ "lift ( ↑[?,?] ? )" * ]
36 [ { "terms with special features" * } {
37 [ "ex_sta_ldec" + "ex_cpr_omega" + "ex_fpbg_refl" + "ex_snv_eta" * ]
46 class "capitalize italic" { 0 }