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]

---
 .../source/library/lux/control/security/policy.lux | 30 +++++++++++-----------
 1 file changed, 15 insertions(+), 15 deletions(-)

(limited to 'stdlib/source/library/lux/control/security')

diff --git a/stdlib/source/library/lux/control/security/policy.lux b/stdlib/source/library/lux/control/security/policy.lux
index a41783bc9..2328915f6 100644
--- a/stdlib/source/library/lux/control/security/policy.lux
+++ b/stdlib/source/library/lux/control/security/policy.lux
@@ -54,26 +54,26 @@
     (type (All (_ brand label)
             (constructor (All (_ value) (Policy brand value label))))))
 
-  (implementation: .public functor
+  (def: .public functor
     (~ (..of_policy Functor))
-    
-    (def: (each f fa)
-      (|> fa representation f abstraction)))
+    (implementation
+     (def: (each f fa)
+       (|> fa representation f abstraction))))
 
-  (implementation: .public apply
+  (def: .public apply
     (~ (..of_policy Apply))
-    
-    (def: functor ..functor)
-    
-    (def: (on fa ff)
-      (abstraction ((representation ff) (representation fa)))))
+    (implementation
+     (def: functor ..functor)
+     
+     (def: (on fa ff)
+       (abstraction ((representation ff) (representation fa))))))
 
-  (implementation: .public monad
+  (def: .public monad
     (~ (..of_policy Monad))
-    
-    (def: functor ..functor)
-    (def: in (|>> abstraction))
-    (def: conjoint (|>> representation)))
+    (implementation
+     (def: functor ..functor)
+     (def: in (|>> abstraction))
+     (def: conjoint (|>> representation))))
   )
 
 (with_template [<brand> <value> <upgrade> <downgrade>]
-- 
cgit v1.2.3