1 files changed, 41 insertions, 41 deletions
diff --git a/stdlib/source/library/lux/target/jvm/modifier.lux b/stdlib/source/library/lux/target/jvm/modifier.lux
index 48c0697d9..c37bb039b 100644
--- a/stdlib/source/library/lux/target/jvm/modifier.lux
+++ b/stdlib/source/library/lux/target/jvm/modifier.lux
@@ -26,56 +26,56 @@
 (abstract: .public (Modifier of)
   //unsigned.U2
 
-  [(def: .public code
-     (-> (Modifier Any) //unsigned.U2)
-     (|>> :representation))
+  (def: .public code
+    (-> (Modifier Any) //unsigned.U2)
+    (|>> :representation))
 
-   (implementation: .public equivalence
-     (All (_ of) (Equivalence (Modifier of)))
-     
-     (def: (= reference sample)
-       (\ //unsigned.equivalence =
-          (:representation reference)
-          (:representation sample))))
+  (implementation: .public equivalence
+    (All (_ of) (Equivalence (Modifier of)))
+    
+    (def: (= reference sample)
+      (\ //unsigned.equivalence =
+         (:representation reference)
+         (:representation sample))))
 
-   (template: (!wrap value)
-     [(|> value
-          //unsigned.u2
-          try.trusted
-          :abstraction)])
+  (template: (!wrap value)
+    [(|> value
+         //unsigned.u2
+         try.trusted
+         :abstraction)])
 
-   (template: (!unwrap value)
-     [(|> value
-          :representation
-          //unsigned.value)])
+  (template: (!unwrap value)
+    [(|> value
+         :representation
+         //unsigned.value)])
 
-   (def: .public (has? sub super)
-     (All (_ of) (-> (Modifier of) (Modifier of) Bit))
-     (let [sub (!unwrap sub)]
-       (|> (!unwrap super)
-           (i64.and sub)
-           (\ i64.equivalence = sub))))
+  (def: .public (has? sub super)
+    (All (_ of) (-> (Modifier of) (Modifier of) Bit))
+    (let [sub (!unwrap sub)]
+      (|> (!unwrap super)
+          (i64.and sub)
+          (\ i64.equivalence = sub))))
 
-   (implementation: .public monoid
-     (All (_ of) (Monoid (Modifier of)))
+  (implementation: .public monoid
+    (All (_ of) (Monoid (Modifier of)))
 
-     (def: identity
-       (!wrap (hex "0000")))
-     
-     (def: (composite left right)
-       (!wrap (i64.or (!unwrap left) (!unwrap right)))))
+    (def: identity
+      (!wrap (hex "0000")))
+    
+    (def: (composite left right)
+      (!wrap (i64.or (!unwrap left) (!unwrap right)))))
 
-   (def: .public empty
-     Modifier
-     (\ ..monoid identity))
+  (def: .public empty
+    Modifier
+    (\ ..monoid identity))
 
-   (def: .public writer
-     (All (_ of) (Writer (Modifier of)))
-     (|>> :representation //unsigned.writer/2))
+  (def: .public writer
+    (All (_ of) (Writer (Modifier of)))
+    (|>> :representation //unsigned.writer/2))
 
-   (def: modifier
-     (-> Nat Modifier)
-     (|>> !wrap))]
+  (def: modifier
+    (-> Nat Modifier)
+    (|>> !wrap))
   )
 
 (syntax: .public (modifiers: [ofT <code>.any