--- a/thys2/blexer2.sc	Fri Dec 30 17:37:51 2022 +0000
+++ b/thys2/blexer2.sc	Fri Dec 30 23:41:44 2022 +0000
@@ -65,6 +65,7 @@
 
 import scala.util.Try
 
+
 trait Generator[+T] {
   self => // an alias for "this"
     def generate(): T
@@ -1635,6 +1636,14 @@
 
 
 
+  def struct_regex(depth: Int) {
+    if(depth <= 0) {
+      ONE
+    }
+    else {
+      val dice = 
+    }
+  }
 
     def bders_bderssimp() {