From 8c3a1afab9efeb86e2f53d743551fc689fbad257 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sun, 12 Jun 2022 13:33:48 -0400
Subject: De-sigil-ification: suffix : [Part 4]

---
 stdlib/source/program/aedifex/hash.lux | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'stdlib/source/program/aedifex/hash.lux')

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)))))
   )
-- 
cgit v1.2.3