Shifts the zipper cursor to the left, or returns none() if there is no element in the left list.
none()
The source zipper.
The shifted zipper.
Generated using TypeDoc
Shifts the zipper cursor to the left, or returns
none()
if there is no element in the left list.