"signature:" -> "interface:" & "structure:" -> "implementation:"

"signature" & "structure" feel like very ML-specific terminology and might not be easy on programmers unfamiliar with it.

1 files changed, 4 insertions, 4 deletions

diff --git a/stdlib/source/program/aedifex/repository.lux b/stdlib/source/program/aedifex/repository.lux
index 230888cef..c5f822633 100644
--- a/stdlib/source/program/aedifex/repository.lux
+++ b/stdlib/source/program/aedifex/repository.lux
@@ -14,7 +14,7 @@
     [net
      [uri (#+ URI)]]]])
 
-(signature: #export (Repository !)
+(interface: #export (Repository !)
   (: (-> URI (! (Try Binary)))
      download)
   (: (-> URI Binary (! (Try Any)))
@@ -22,7 +22,7 @@
 
 (def: #export (async repository)
   (-> (Repository IO) (Repository Promise))
-  (structure
+  (implementation
    (def: (download uri)
      (promise.future (\ repository download uri)))
 
@@ -30,7 +30,7 @@
      (promise.future (\ repository upload uri content)))
    ))
 
-(signature: #export (Simulation s)
+(interface: #export (Simulation s)
   (: (-> URI s (Try [s Binary]))
      on_download)
   (: (-> URI Binary s (Try s))
@@ -39,7 +39,7 @@
 (def: #export (mock simulation init)
   (All [s] (-> (Simulation s) s (Repository Promise)))
   (let [state (stm.var init)]
-    (structure
+    (implementation
      (def: (download uri)
        (stm.commit
         (do {! stm.monad}