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

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

16 files changed, 38 insertions, 38 deletions

diff --git a/stdlib/source/lux/tool/compiler/language/lux/analysis.lux b/stdlib/source/lux/tool/compiler/language/lux/analysis.lux
index d2382537a..bbbe43b27 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/analysis.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/analysis.lux
@@ -106,7 +106,7 @@
 (type: #export Match
   (Match' Analysis))
 
-(structure: primitive_equivalence
+(implementation: primitive_equivalence
   (Equivalence Primitive)
 
   (def: (= reference sample)
@@ -127,7 +127,7 @@
       _
       false)))
 
-(structure: #export (composite_equivalence (^open "/\."))
+(implementation: #export (composite_equivalence (^open "/\."))
   (All [a] (-> (Equivalence a) (Equivalence (Composite a))))
   
   (def: (= reference sample)
@@ -144,7 +144,7 @@
       _
       false)))
 
-(structure: #export (composite_hash super)
+(implementation: #export (composite_hash super)
   (All [a] (-> (Hash a) (Hash (Composite a))))
 
   (def: &equivalence
@@ -163,7 +163,7 @@
           (\ (list.hash super) hash members))
       )))
 
-(structure: pattern_equivalence
+(implementation: pattern_equivalence
   (Equivalence Pattern)
 
   (def: (= reference sample)
@@ -180,14 +180,14 @@
       _
       false)))
 
-(structure: (branch_equivalence equivalence)
+(implementation: (branch_equivalence equivalence)
   (-> (Equivalence Analysis) (Equivalence Branch))
 
   (def: (= [reference_pattern reference_body] [sample_pattern sample_body])
     (and (\ pattern_equivalence = reference_pattern sample_pattern)
          (\ equivalence = reference_body sample_body))))
 
-(structure: #export equivalence
+(implementation: #export equivalence
   (Equivalence Analysis)
 
   (def: (= reference sample)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/generation.lux b/stdlib/source/lux/tool/compiler/language/lux/generation.lux
index 8606b5701..372ed2c17 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/generation.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/generation.lux
@@ -48,7 +48,7 @@
   [no_buffer_for_saving_code]
   )
 
-(signature: #export (Host expression directive)
+(interface: #export (Host expression directive)
   (: (-> Context expression (Try Any))
      evaluate!)
   (: (-> directive (Try Any))
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
index af5a12c37..4a3afc3f5 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/analysis/case/coverage.lux
@@ -177,7 +177,7 @@
     _
     (list coverage)))
 
-(structure: equivalence (Equivalence Coverage)
+(implementation: equivalence (Equivalence Coverage)
   (def: (= reference sample)
     (case [reference sample]
       [#Exhaustive #Exhaustive]
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux
index 977396fab..2e4488b00 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/common_lisp/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System (Expression Any))
 
   (def: constant _.var)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux
index b748318e5..6361e3d09 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/js/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System Expression)
 
   (def: constant _.var)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
index 12954ff51..0e7a2c776 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/jvm/host.lux
@@ -147,7 +147,7 @@
   (io (let [library (loader.new-library [])
             loader (loader.memory library)]
         (: //runtime.Host
-           (structure
+           (implementation
             (def: (evaluate! temp-label valueG)
               (let [eval-class (|> temp-label name.normalize (text.replace-all " " "$"))]
                 (\ try.monad map product.left
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux
index 965ac68b3..72a54569c 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/lua/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System Expression)
 
   (def: constant _.var)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux
index 776245b61..de532a9dc 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/php/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System Expression)
 
   (def: constant _.global)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux
index 0f7629614..1fe57fb8c 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/python/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System (Expression Any))
 
   (def: constant _.var)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux
index c3f2e8289..c986bc2a0 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/r/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System Expression)
 
   (def: constant _.var)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux
index 9cca8b8e5..cdcc5a134 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/reference.lux
@@ -43,7 +43,7 @@
           "m" (%.nat module)
           "a" (%.nat artifact)))
 
-(signature: #export (System expression)
+(interface: #export (System expression)
   (: (-> Text expression)
      constant)
   (: (-> Text expression)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux
index 1149b2e8d..1ea2cca00 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/ruby/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System Expression)
 
   (def: constant _.global)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux
index 4e8ae26cf..f24134d9f 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/phase/generation/scheme/reference.lux
@@ -5,7 +5,7 @@
   [///
    [reference (#+ System)]])
 
-(structure: #export system
+(implementation: #export system
   (System Expression)
 
   (def: constant _.var)
diff --git a/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux b/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux
index 5b79a72a8..0b2086f25 100644
--- a/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux
+++ b/stdlib/source/lux/tool/compiler/language/lux/synthesis.lux
@@ -412,7 +412,7 @@
   (Format Path)
   (%path' %synthesis))
 
-(structure: #export primitive_equivalence
+(implementation: #export primitive_equivalence
   (Equivalence Primitive)
   
   (def: (= reference sample)
@@ -430,7 +430,7 @@
       _
       false)))
 
-(structure: primitive_hash
+(implementation: primitive_hash
   (Hash Primitive)
 
   (def: &equivalence ..primitive_equivalence)
@@ -456,7 +456,7 @@
   (Hash Member)
   (sum.hash n.hash n.hash))
 
-(structure: #export access_equivalence
+(implementation: #export access_equivalence
   (Equivalence Access)
   
   (def: (= reference sample)
@@ -470,7 +470,7 @@
       _
       false)))
 
-(structure: access_hash
+(implementation: access_hash
   (Hash Access)
 
   (def: &equivalence ..access_equivalence)
@@ -484,7 +484,7 @@
         ([#Side]
          [#Member])))))
 
-(structure: #export (path'_equivalence equivalence)
+(implementation: #export (path'_equivalence equivalence)
   (All [a] (-> (Equivalence a) (Equivalence (Path' a))))
 
   (def: (= reference sample)
@@ -527,7 +527,7 @@
       _
       false)))
 
-(structure: (path'_hash super)
+(implementation: (path'_hash super)
   (All [a] (-> (Hash a) (Hash (Path' a))))
 
   (def: &equivalence
@@ -572,7 +572,7 @@
       (n.* 29 (\ super hash body))
       )))
 
-(structure: (branch_equivalence (^open "\."))
+(implementation: (branch_equivalence (^open "\."))
   (All [a] (-> (Equivalence a) (Equivalence (Branch a))))
 
   (def: (= reference sample)
@@ -602,7 +602,7 @@
       _
       false)))
 
-(structure: (branch_hash super)
+(implementation: (branch_hash super)
   (All [a] (-> (Hash a) (Hash (Branch a))))
 
   (def: &equivalence
@@ -633,7 +633,7 @@
           (\ (..path'_hash super) hash path))
       )))
 
-(structure: (loop_equivalence (^open "\."))
+(implementation: (loop_equivalence (^open "\."))
   (All [a] (-> (Equivalence a) (Equivalence (Loop a))))
 
   (def: (= reference sample)
@@ -650,7 +650,7 @@
       _
       false)))
 
-(structure: (loop_hash super)
+(implementation: (loop_hash super)
   (All [a] (-> (Hash a) (Hash (Loop a))))
 
   (def: &equivalence
@@ -669,7 +669,7 @@
           (\ (list.hash super) hash resets))
       )))
 
-(structure: (function_equivalence (^open "\."))
+(implementation: (function_equivalence (^open "\."))
   (All [a] (-> (Equivalence a) (Equivalence (Function a))))
 
   (def: (= reference sample)
@@ -688,7 +688,7 @@
       _
       false)))
 
-(structure: (function_hash super)
+(implementation: (function_hash super)
   (All [a] (-> (Hash a) (Hash (Function a))))
 
   (def: &equivalence
@@ -708,7 +708,7 @@
           (\ (list.hash super) hash arguments))
       )))
 
-(structure: (control_equivalence (^open "\."))
+(implementation: (control_equivalence (^open "\."))
   (All [a] (-> (Equivalence a) (Equivalence (Control a))))
 
   (def: (= reference sample)
@@ -723,7 +723,7 @@
       _
       false)))
 
-(structure: (control_hash super)
+(implementation: (control_hash super)
   (All [a] (-> (Hash a) (Hash (Control a))))
 
   (def: &equivalence
@@ -739,7 +739,7 @@
        [5 #Function ..function_hash])
       )))
 
-(structure: #export equivalence
+(implementation: #export equivalence
   (Equivalence Synthesis)
   
   (def: (= reference sample)
@@ -760,7 +760,7 @@
   (Equivalence Path)
   (path'_equivalence equivalence))
 
-(structure: #export hash
+(implementation: #export hash
   (Hash Synthesis)
 
   (def: &equivalence ..equivalence)
diff --git a/stdlib/source/lux/tool/compiler/reference.lux b/stdlib/source/lux/tool/compiler/reference.lux
index 856435fe8..98a1f0c07 100644
--- a/stdlib/source/lux/tool/compiler/reference.lux
+++ b/stdlib/source/lux/tool/compiler/reference.lux
@@ -22,7 +22,7 @@
   (#Variable Variable)
   (#Constant Constant))
 
-(structure: #export equivalence
+(implementation: #export equivalence
   (Equivalence Reference)
 
   (def: (= reference sample)
@@ -36,7 +36,7 @@
       _
       false)))
 
-(structure: #export hash
+(implementation: #export hash
   (Hash Reference)
 
   (def: &equivalence
diff --git a/stdlib/source/lux/tool/compiler/reference/variable.lux b/stdlib/source/lux/tool/compiler/reference/variable.lux
index 8106d9257..84aea58ab 100644
--- a/stdlib/source/lux/tool/compiler/reference/variable.lux
+++ b/stdlib/source/lux/tool/compiler/reference/variable.lux
@@ -20,7 +20,7 @@
   (#Local Register)
   (#Foreign Register))
 
-(structure: #export equivalence
+(implementation: #export equivalence
   (Equivalence Variable)
   
   (def: (= reference sample)
@@ -33,7 +33,7 @@
       _
       #0)))
 
-(structure: #export hash
+(implementation: #export hash
   (Hash Variable)
   
   (def: &equivalence