- rebind F G Pprocedure
Given a rule P and procedures F and G, returns a matcher that first applies F to the input stream, then applies P to the resulting stream, then applies G to the resulting list of consumed elements and returns the result along with the remainder of the input stream.
Note: this combinator will signal failure if the input stream is empty.