support for measurement units

2023-07-25 19:38:43 +02:00
1 parent 5d912f78a4
commit 22a168198b
@@ -215,6 +215,8 @@ oper
    = \s -> lin RP {s = table {True => [] ; False => word s}} ;


+  mkMU : Str -> MU = \s -> lin MU {s=s; isPre=False} ;
+
 --. auxiliary

 oper