Up
–
mina_base
»
Mina_base
»
Account_update
»
Body
»
Digested
» Checked
Module
Digested.Checked
type
t
=
Random_oracle.Checked.Digest.t