mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-02 00:53:15 +03:00
12 lines
283 B
Plaintext
12 lines
283 B
Plaintext
|
/*
|
||
|
|
* Copyright (c) 2013-2014 Galois, Inc.
|
||
|
|
* Distributed under the terms of the BSD3 license (see LICENSE file)
|
||
|
|
*/
|
||
|
|
|
||
|
|
module Cipher where
|
||
|
|
|
||
|
|
type Cipher KeySize BlockSize =
|
||
|
|
{ encrypt : [KeySize] -> [BlockSize] -> [BlockSize]
|
||
|
|
, decrypt : [KeySize] -> [BlockSize] -> [BlockSize]
|
||
|
|
}
|