Sat this point. I.e., if I’m using this operator alone, I can use
Unit, since it’s single-sorted, right?
Sis useful. No?
OperatorI'm still a bit fuzzy on this as it has been 6-7months since I last looked at it, but wouldn't you just create another instance of
Operatorfor the same
Owith a different sort if it was used in some larger ABT?
Varfrom QScript, and have a more restricted form that has a single binding, but then has two branches, each of which is expected to refer to that binding exactly once. (This is for representing a join, where the binding is the common history/provenance, and the two branches are the diverging tails that need to be unified).