1 files changed, 40 insertions, 38 deletions
diff --git a/stdlib/source/library/lux/world/file.lux b/stdlib/source/library/lux/world/file.lux
index d9676e54e..3fd525b37 100644
--- a/stdlib/source/library/lux/world/file.lux
+++ b/stdlib/source/library/lux/world/file.lux
@@ -38,42 +38,43 @@
 (type: .public Path
   Text)
 
-(`` (interface: .public (System !)
-      (: Text
-         separator)
-
-      (~~ (template [<name> <output>]
-            [(: (-> Path (! <output>))
-                <name>)]
-
-            [file? Bit]
-            [directory? Bit]
-            ))
-
-      (~~ (template [<name> <output>]
-            [(: (-> Path (! (Try <output>)))
-                <name>)]
-
-            [make_directory  Any]
-            [directory_files (List Path)]
-            [sub_directories (List Path)]
-            
-            [file_size     Nat]
-            [last_modified Instant]
-            [can_execute?  Bit]
-            [read          Binary]
-            [delete        Any]
-            ))
-
-      (~~ (template [<name> <input>]
-            [(: (-> <input> Path (! (Try Any)))
-                <name>)]
-
-            [modify Instant]
-            [write  Binary]
-            [append Binary]
-            [move   Path]
-            ))
+(`` (type: .public (System !)
+      (Interface
+       (: Text
+          separator)
+
+       (~~ (template [<name> <output>]
+             [(: (-> Path (! <output>))
+                 <name>)]
+
+             [file? Bit]
+             [directory? Bit]
+             ))
+
+       (~~ (template [<name> <output>]
+             [(: (-> Path (! (Try <output>)))
+                 <name>)]
+
+             [make_directory  Any]
+             [directory_files (List Path)]
+             [sub_directories (List Path)]
+             
+             [file_size     Nat]
+             [last_modified Instant]
+             [can_execute?  Bit]
+             [read          Binary]
+             [delete        Any]
+             ))
+
+       (~~ (template [<name> <input>]
+             [(: (-> <input> Path (! (Try Any)))
+                 <name>)]
+
+             [modify Instant]
+             [write  Binary]
+             [append Binary]
+             [move   Path]
+             )))
       ))
 
 (def: (un_rooted fs path)
@@ -998,8 +999,9 @@
     #mock_can_execute Bit
     #mock_content Binary}))
 
-(type: #rec Mock
-  (Dictionary Text (Either Mock_File Mock)))
+(type: Mock
+  (Rec Mock
+    (Dictionary Text (Either Mock_File Mock))))
 
 (def: empty_mock
   Mock