De-sigil-ification: suffix : [Part 4]

1 files changed, 10 insertions, 10 deletions

diff --git a/stdlib/source/program/aedifex/hash.lux b/stdlib/source/program/aedifex/hash.lux
index 8a22579b2..310fd421d 100644
--- a/stdlib/source/program/aedifex/hash.lux
+++ b/stdlib/source/program/aedifex/hash.lux
@@ -150,21 +150,21 @@
         (exception.except ..not_a_hash [(..encoding_size size) encoded]))))
 
   (with_template [<codec> <hash> <nat> <constructor>]
-    [(implementation: .public <codec>
+    [(def: .public <codec>
        (Codec Text (Hash <hash>))
-
-       (def: encoded (|>> representation ..encoded))
-       (def: decoded (..decoded <nat> <constructor>)))]
+       (implementation
+        (def: encoded (|>> representation ..encoded))
+        (def: decoded (..decoded <nat> <constructor>))))]
 
     [sha-1_codec SHA-1 ..sha-1::size ..as_sha-1]
     [md5_codec MD5 ..md5::size ..as_md5]
     )
 
-  (implementation: .public equivalence
+  (def: .public equivalence
     (All (_ h) (Equivalence (Hash h)))
-
-    (def: (= reference subject)
-      (at binary.equivalence =
-          (representation reference)
-          (representation subject))))
+    (implementation
+     (def: (= reference subject)
+       (at binary.equivalence =
+           (representation reference)
+           (representation subject)))))
   )