1 files changed, 25 insertions, 25 deletions
diff --git a/stdlib/source/test/aedifex/command/version.lux b/stdlib/source/test/aedifex/command/version.lux
index bb92fadfb..96b8cdf3b 100644
--- a/stdlib/source/test/aedifex/command/version.lux
+++ b/stdlib/source/test/aedifex/command/version.lux
@@ -29,32 +29,32 @@
 
 (exception: .public console_is_closed!)
 
-(implementation: mock
+(def: mock
   (Mock [Bit Text])
-
-  (def: (on_read [open? state])
-    (if open?
-      (try.of_maybe
-       (do maybe.monad
-         [head (text.char 0 state)
-          [_ tail] (text.split_at 1 state)]
-         (in [[open? tail] head])))
-      (exception.except ..console_is_closed! [])))
-  (def: (on_read_line [open? state])
-    (if open?
-      (try.of_maybe
-       (do maybe.monad
-         [[output state] (text.split_by text.new_line state)]
-         (in [[open? state] output])))
-      (exception.except ..console_is_closed! [])))
-  (def: (on_write input [open? state])
-    (if open?
-      {try.#Success [open? (format state input)]}
-      (exception.except ..console_is_closed! [])))
-  (def: (on_close [open? buffer])
-    (if open?
-      {try.#Success [false buffer]}
-      (exception.except ..console_is_closed! []))))
+  (implementation
+   (def: (on_read [open? state])
+     (if open?
+       (try.of_maybe
+        (do maybe.monad
+          [head (text.char 0 state)
+           [_ tail] (text.split_at 1 state)]
+          (in [[open? tail] head])))
+       (exception.except ..console_is_closed! [])))
+   (def: (on_read_line [open? state])
+     (if open?
+       (try.of_maybe
+        (do maybe.monad
+          [[output state] (text.split_by text.new_line state)]
+          (in [[open? state] output])))
+       (exception.except ..console_is_closed! [])))
+   (def: (on_write input [open? state])
+     (if open?
+       {try.#Success [open? (format state input)]}
+       (exception.except ..console_is_closed! [])))
+   (def: (on_close [open? buffer])
+     (if open?
+       {try.#Success [false buffer]}
+       (exception.except ..console_is_closed! [])))))
 
 (def: .public echo
   (-> Text (Console Async))