class "water"
[ { "computation" * } {
[ { "strongly normalizing computation" * } {
- [ "csn_vector ( ⬇* ? )" "csn_lcpr_vector" "csn_aaa" * ]
+ [ "csn_vector ( ⬇* ? )" "csn_tstc_vector" "csn_aaa" * ]
[ "csn ( ⬇* ? )" "csn_lift" "csn_cpr" "csn_cprs ( ⬇** ? )" "csn_lcpr" * ]
}
]