prelude sources to lib/src; present in StructuralEng; refactored checkGFCC

2026-09-02 17:36:59 -06:00 · 2007-12-13 10:12:00 +00:00
parent f26a5dbcf5
commit 54d6dd30cc
11 changed files with 25 additions and 6 deletions
@@ -0,0 +1,5 @@
+concrete PredefCnc of PredefAbs = {
+  lincat 
+    Int = {s : Str ; size : Predef.Ints 1 ; last : Predef.Ints 9} ;
+    Float, String = {s : Str} ;
+} ;