diff options
Diffstat (limited to '')
-rw-r--r-- | stdlib/source/library/lux/tool/compiler/meta/archive/key.lux | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux index ec6439aa7..41de7eba0 100644 --- a/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux +++ b/stdlib/source/library/lux/tool/compiler/meta/archive/key.lux @@ -6,14 +6,16 @@ [// [signature (#+ Signature)]]) -(abstract: #export (Key k) +(abstract: .public (Key k) + {} + Signature - (def: #export signature + (def: .public signature (-> (Key Any) Signature) (|>> :representation)) - (def: #export (key signature sample) + (def: .public (key signature sample) (All [d] (-> Signature d (Key d))) (:abstraction signature)) ) |