Up
–
pasta_bindings
»
Pasta_bindings
»
Vesta
» Affine
Module
Vesta.Affine
type
nonrec
t
=
Fq.t
Kimchi_types.or_infinity