Up
–
sponge
»
Sponge
»
Intf
»
Permutation
» Field
Module
Permutation.Field
type
t
val
zero :
t