Up
–
snarkette
»
Snarkette
»
Elliptic_curve
»
Make
» Affine
Module
Make.Affine
type
t
=
Fq.t
*
Fq.t