zipper -package:streams -package:traverse-with-class -package:ListZipper package:Agda

Lookup the clause for an interaction point in the signature. Returns the CaseContext, the previous clauses, the clause itself, and a list of the remaining ones.