}
]
[ { "append" * } {
- [ [ "for lenvs" ] "append" + "( ? @@ ? )" "append_length" * ]
+ [ [ "for lenvs" ] "append" + "( ? + ? )" "append_length" * ]
}
]
[ { "head equivalence" * } {
}
]
[ { "global environments" * } {
+ [ [ "" ] "genv_length" + "( |?| )" * ]
+ [ [ "" ] "genv_weight" + "( ♯{?} )" * ]
[ [ "" ] "genv" * ]
}
]