Up
–
mina_base
»
Mina_base
»
Stack_frame
»
Make_str
»
1-A
» V1
Module
1-A.V1
type
t
=
Pasta_bindings.Fp.t