added and_Conj in StructuralSlv

2026-06-30 02:58:35 -06:00 · 2016-06-15 08:28:14 +00:00
parent 68b68ba096
commit 73fa429de0
2 changed files with 4 additions and 1 deletions
@@ -310,5 +310,7 @@ oper

  mkInterj : Str -> Interj =
    \s -> lin Interj {s=s} ;
-
+    
+  mkConj : Str -> Conj =
+    \s -> lin Conj {s=s} ;
 }