A lambda's parts. A run's lambda (§8.6) has one of two shapes:
{| <relation>->sort(…)->limit(n)->from(<runtime>)}, or with lets
{| {| <lets>; <relation>}->from(<runtime>)->sort(…)->limit(n)}, the sort
and the limit each there or not. from() comes off; the sort and the limit
stay on the relation, as the steps they read as.
A lambda's parts. A run's lambda (§8.6) has one of two shapes:
{| <relation>->sort(…)->limit(n)->from(<runtime>)}, or with lets{| {| <lets>; <relation>}->from(<runtime>)->sort(…)->limit(n)}, the sort and the limit each there or not.from()comes off; the sort and the limit stay on the relation, as the steps they read as.