1 files changed, 17 insertions, 17 deletions

diff --git a/stdlib/source/library/lux/target/jvm/constant.lux b/stdlib/source/library/lux/target/jvm/constant.lux
index 8539fbf13..ebeccfaa4 100644
--- a/stdlib/source/library/lux/target/jvm/constant.lux
+++ b/stdlib/source/library/lux/target/jvm/constant.lux
@@ -36,28 +36,28 @@
 (type: .public UTF8
   Text)
 
-(def: utf8_writer
+(def utf8_writer
   (Writer UTF8)
   binaryF.utf8_16)
 
 (primitive .public Class
   (Index UTF8)
 
-  (def: .public index
+  (def .public index
     (-> Class (Index UTF8))
     (|>> representation))
   
-  (def: .public class
+  (def .public class
     (-> (Index UTF8) Class)
     (|>> abstraction))
 
-  (def: .public class_equivalence
+  (def .public class_equivalence
     (Equivalence Class)
     (at equivalence.functor each
         ..index
         //index.equivalence))
 
-  (def: class_writer
+  (def class_writer
     (Writer Class)
     (|>> representation //index.writer))
   )
@@ -66,10 +66,10 @@
   "[1]::[0]"
   ("static" floatToRawIntBits "manual" [float] int))
 
-(def: .public float_equivalence
+(def .public float_equivalence
   (Equivalence java/lang/Float)
   (implementation
-   (def: (= parameter subject)
+   (def (= parameter subject)
      (for @.old
           ("jvm feq" parameter subject)
           
@@ -85,11 +85,11 @@
 (primitive .public (Value kind)
   kind
 
-  (def: .public value
+  (def .public value
     (All (_ kind) (-> (Value kind) kind))
     (|>> representation))
 
-  (def: .public (value_equivalence Equivalence<kind>)
+  (def .public (value_equivalence Equivalence<kind>)
     (All (_ kind)
       (-> (Equivalence kind)
           (Equivalence (Value kind))))
@@ -101,7 +101,7 @@
     [(type: .public <type>
        (Value <marker>))
 
-     (def: .public <constructor>
+     (def .public <constructor>
        (-> <marker> <type>)
        (|>> abstraction))]
 
@@ -113,7 +113,7 @@
     )
 
   (with_template [<writer_name> <type> <write> <writer>]
-    [(def: <writer_name>
+    [(def <writer_name>
        (Writer <type>)
        (`` (|>> representation
                 (~~ (template.spliced <write>))
@@ -138,13 +138,13 @@
     #name_and_type (Index (Name_And_Type of))]))
 
 (with_template [<type> <equivalence> <writer>]
-  [(def: .public <equivalence>
+  [(def .public <equivalence>
      (Equivalence (<type> Any))
      (all product.equivalence
           //index.equivalence
           //index.equivalence))
 
-   (def: <writer>
+   (def <writer>
      (Writer (<type> Any))
      (all binaryF.and
           //index.writer
@@ -168,7 +168,7 @@
    {#Interface_Method (Reference //category.Method)}
    {#Name_And_Type (Name_And_Type Any)}))
 
-(def: .public (size constant)
+(def .public (size constant)
   (-> Constant Nat)
   (case constant
     (^.or {#Long _} {#Double _})
@@ -177,12 +177,12 @@
     _
     1))
 
-(def: .public equivalence
+(def .public equivalence
   (Equivalence Constant)
   ... TODO: Delete the explicit "implementation" and use the combinator
   ... version below as soon as the new format for variants is implemented.
   (implementation
-   (def: (= reference sample)
+   (def (= reference sample)
      (case [reference sample]
        (^.with_template [<tag> <equivalence>]
          [[{<tag> reference} {<tag> sample}]
@@ -223,7 +223,7 @@
   ...     )
   )
 
-(def: .public writer
+(def .public writer
   (Writer Constant)
   (with_expansions [<constants> (these [#UTF8             /tag.utf8             ..utf8_writer]
                                        [#Integer          /tag.integer          ..integer_writer]