1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
- BlackBox:
name: Clash.Class.BitPack.Internal.packFloat#
kind: Expression
type: 'packFloat# :: Float
-> BitVector 32'
template: ~ARG[0]
workInfo: Never
- BlackBox:
name: Clash.Class.BitPack.Internal.unpackFloat#
kind: Expression
type: 'packFloat# :: BitVector
32 -> Float'
template: ~ARG[0]
workInfo: Never
- BlackBox:
name: Clash.Class.BitPack.Internal.packDouble#
kind: Expression
type: 'packFloat# :: Double
-> BitVector 64'
template: ~ARG[0]
workInfo: Never
- BlackBox:
name: Clash.Class.BitPack.Internal.unpackDouble#
kind: Expression
type: 'packFloat# :: BitVector
64 -> Double'
template: ~ARG[0]
workInfo: Never
- BlackBox:
name: Clash.Class.BitPack.Internal.xToBV
kind: Expression
type: 'xToBV :: KnownNat n => BitVector n -> BitVector n'
template: ~ARG[1]
workInfo: Never
|
