1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
(.module: [library [lux #* [type abstract]]] [// [signature (#+ Signature)]]) (abstract: .public (Key k) {} Signature (def: .public signature (-> (Key Any) Signature) (|>> :representation)) (def: .public (key signature sample) (All (_ d) (-> Signature d (Key d))) (:abstraction signature)) )