From 0dbb0ba515e04aa52fc7a75710b143d2586a48a3 Mon Sep 17 00:00:00 2001
From: Celestino Amoroso <celestino.amoroso@gmail.com>
Date: Sat, 4 May 2024 00:28:17 +0200
Subject: [PATCH] iterator.go: new interface ExtIterator derived from Iterator

---
 iterator.go | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/iterator.go b/iterator.go
index 9532ec0..ccf8839 100644
--- a/iterator.go
+++ b/iterator.go
@@ -13,6 +13,10 @@ type Iterator interface {
 	Next() (item any, err error) // must return io.EOF after the last item
 	Current() (item any, err error)
 	Index() int
+}
+
+type ExtIterator interface {
+	Iterator
 	HasOperation(name string) bool
 	CallOperation(name string, args []any) (value any, err error)
 }