diff options
| author | code <code@mail.matthias.benkard.de> | 2014-11-10 22:04:35 +0100 |
|---|---|---|
| committer | code <code@mail.matthias.benkard.de> | 2014-11-10 22:04:35 +0100 |
| commit | 7a00f761db31ada5098d3e4a2ce995fa775c47c9 (patch) | |
| tree | 7fe39513703860694d4ed435f3e00b1b6a87481c /threefish.rkt | |
| parent | 5b1507b89b3c688cf92a6c303ec0bf7d5648309a (diff) | |
Diffstat (limited to 'threefish.rkt')
| -rw-r--r-- | threefish.rkt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/threefish.rkt b/threefish.rkt index a9cd8d0..1d49098 100644 --- a/threefish.rkt +++ b/threefish.rkt @@ -20,6 +20,7 @@ (require "util.rkt") (provide: [threefish (Bytes Bytes Bytes (U 'encrypt 'decrypt) -> Bytes)]) +(: threefish (Bytes Bytes Bytes (U 'encrypt 'decrypt) -> Bytes)) (define-type Long Exact-Nonnegative-Integer) |