We proposed something but we might be able to do better:
We could use the formula "along" notation, for the if / at condition. _all would be simulated by using the dot.
It would be nice to have a compact way of saying all_vars or any_vars on either side, maybe a double formula ?
We proposed something but we might be able to do better:
We could use the formula "along" notation, for the
if
/at
condition._all
would be simulated by using the dot. It would be nice to have a compact way of saying all_vars or any_vars on either side, maybe a double formula ?