blob: 62438a1780c89d45883a9b0b49c4ee36407c5e8c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
(.using
[library
[lux (.except)
[type
[primitive (.except)]]]]
[//
[signature (.only Signature)]])
(primitive: .public (Key k)
Signature
(def: .public signature
(All (_ ?) (-> (Key ?) Signature))
(|>> representation))
(def: .public (key signature sample)
(All (_ d) (-> Signature d (Key d)))
(abstraction signature))
)
|
