diff options
Diffstat (limited to 'lib/zipper.ml')
| -rw-r--r-- | lib/zipper.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/zipper.ml b/lib/zipper.ml index 2322a58..30be8eb 100644 --- a/lib/zipper.ml +++ b/lib/zipper.ml | |||
| @@ -87,6 +87,7 @@ let split z = | |||
| 87 | ( { z with after = Sequence.empty }, | 87 | ( { z with after = Sequence.empty }, |
| 88 | { z with pos = 0; before = Sequence.empty } ) | 88 | { z with pos = 0; before = Sequence.empty } ) |
| 89 | 89 | ||
| 90 | let join z1 z2 = { z1 with after = z2.after } | ||
| 90 | let iter_before f z = Sequence.iter ~f z.before | 91 | let iter_before f z = Sequence.iter ~f z.before |
| 91 | let iter_after f z = Sequence.iter ~f z.after | 92 | let iter_after f z = Sequence.iter ~f z.after |
| 92 | 93 | ||