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