From 1562e53d7720714ce5d2792af85993bd5f57f42e Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Mon, 21 Aug 2023 14:41:24 +0200 Subject: [PATCH] small All module for Zul --- src/zulu/AllZul.gf | 5 +++++ src/zulu/AllZulAbs.gf | 5 +++++ 2 files changed, 10 insertions(+) create mode 100644 src/zulu/AllZul.gf create mode 100644 src/zulu/AllZulAbs.gf diff --git a/src/zulu/AllZul.gf b/src/zulu/AllZul.gf new file mode 100644 index 000000000..96de62457 --- /dev/null +++ b/src/zulu/AllZul.gf @@ -0,0 +1,5 @@ +--# -path=.:../abstract:../common:../api + +concrete AllZul of AllZulAbs = + CatZul ** { +} diff --git a/src/zulu/AllZulAbs.gf b/src/zulu/AllZulAbs.gf new file mode 100644 index 000000000..1996d79a0 --- /dev/null +++ b/src/zulu/AllZulAbs.gf @@ -0,0 +1,5 @@ +--# -path=.:../abstract:../common:../api + +abstract AllZulAbs = + Cat ** { +}