Up
–
sponge
»
Sponge
»
Make_sponge
»
1-P
» Field
Module
1-P.Field
type
t
val
zero :
t