Hrv: make API compilable

2022-09-30 11:34:11 +02:00
parent ac3b8bba6b
commit 0b7ad68400
3 changed files with 6 additions and 6 deletions
@@ -8,8 +8,8 @@ lin
  MkSymb s = s ;
  SymbPN s = lin PN {s = \\_ => s.s ; g = Neutr} ;

--AW SymbolEng.IntPN
--AW SymbolEng.SymbNum
--AW SymbolicEng.mkSymb
+  IntPN s = lin PN {s = \\_ => s.s ; g = Neutr} ;
+
+  SymbNum s = lin Card {s = \\_,_ => s.s ; size = NS_20_} ; --- size

 }