mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-11-11 00:26:13 +03:00
16 lines
392 B
Plaintext
16 lines
392 B
Plaintext
import Float
|
|
|
|
foreign add8 : [8] -> [8] -> [8]
|
|
foreign sub16 : [16] -> [16] -> [16]
|
|
foreign mul32 : [32] -> [32] -> [32]
|
|
foreign div64 : [64] -> [64] -> [64]
|
|
|
|
foreign extendInput : [3] -> [8]
|
|
foreign maskOutput : [8] -> [3]
|
|
|
|
foreign not : Bit -> Bit
|
|
|
|
foreign addFloat32 : Float32 -> Float32 -> Float32
|
|
foreign subFloat64 : Float64 -> Float64 -> Float64
|
|
foreign specialFloats : [2] -> Float32
|