src/crypto/keccak/types.bend checks

raw source on the hub · import bend-collections-laws-crypto@1.0.0.0/src/crypto/keccak/types.bend as Types

1 import

import Base

Types

type Lane source · line 3 · raw

Data

W
```
@lo:U32 -> @hi:U32 -> Lane
```

type State source · line 6 · raw

Data

S

@a0:Lane -> @a1:Lane -> @a2:Lane -> @a3:Lane -> @a4:Lane -> @a5:Lane -> @a6:Lane -> @a7:Lane -> @a8:Lane -> @a9:Lane -> @a10:Lane -> @a11:Lane -> @a12:Lane -> @a13:Lane -> @a14:Lane -> @a15:Lane -> @a16:Lane -> @a17:Lane -> @a18:Lane -> @a19:Lane -> @a20:Lane -> @a21:Lane -> @a22:Lane -> @a23:Lane -> @a24:Lane -> State