De-sigil-ification: prefix :

1 files changed, 17 insertions, 17 deletions

diff --git a/stdlib/source/library/lux/type/unit.lux b/stdlib/source/library/lux/type/unit.lux
index 6da16af7e..08fc7770f 100644
--- a/stdlib/source/library/lux/type/unit.lux
+++ b/stdlib/source/library/lux/type/unit.lux
@@ -24,24 +24,24 @@
      ["i" int]
      ["[0]" ratio {"+" Ratio}]]]
    [type
-    abstract]]])
+    [abstract {"-" pattern}]]]])
 
 (abstract: .public (Qty unit)
   Int
   
   (def: in'
     (All (_ unit) (-> Int (Qty unit)))
-    (|>> :abstraction))
+    (|>> abstraction))
 
   (def: out'
     (All (_ unit) (-> (Qty unit) Int))
-    (|>> :representation))
+    (|>> representation))
 
   (template [<name> <op>]
     [(def: .public (<name> param subject)
        (All (_ unit) (-> (Qty unit) (Qty unit) (Qty unit)))
-       (:abstraction (<op> (:representation param)
-                           (:representation subject))))]
+       (abstraction (<op> (representation param)
+                          (representation subject))))]
 
     [+ i.+]
     [- i.-]
@@ -50,8 +50,8 @@
   (template [<name> <op> <p> <s> <p*s>]
     [(def: .public (<name> param subject)
        (All (_ p s) (-> (Qty <p>) (Qty <s>) (Qty <p*s>)))
-       (:abstraction (<op> (:representation param)
-                           (:representation subject))))]
+       (abstraction (<op> (representation param)
+                          (representation subject))))]
 
     [* i.* p s [p s]]
     [/ i./ p [p s] s]
@@ -60,19 +60,19 @@
 
 (type: .public (Unit a)
   (Interface
-   (: (-> Int (Qty a))
-      in)
-   (: (-> (Qty a) Int)
-      out)))
+   (is (-> Int (Qty a))
+       in)
+   (is (-> (Qty a) Int)
+       out)))
 
 (type: .public (Scale s)
   (Interface
-   (: (All (_ u) (-> (Qty u) (Qty (s u))))
-      scale)
-   (: (All (_ u) (-> (Qty (s u)) (Qty u)))
-      de_scale)
-   (: Ratio
-      ratio)))
+   (is (All (_ u) (-> (Qty u) (Qty (s u))))
+       scale)
+   (is (All (_ u) (-> (Qty (s u)) (Qty u)))
+       de_scale)
+   (is Ratio
+       ratio)))
 
 (type: .public Pure
   (Qty Any))