Module Relude_SequenceZipper
module WithSequence: (S: Relude_Interface.SEQUENCE) => { ... };Creates a Zipper using the given SEQUENCE as the backing implementation.
Relude_SequenceZippermodule WithSequence: (S: Relude_Interface.SEQUENCE) => { ... };Creates a Zipper using the given SEQUENCE as the backing implementation.