Up
–
kimchi_backend
»
Kimchi_backend_common
»
Curve
»
Make
»
4-C
» Affine
Module
4-C.Affine
type
t
=
BaseField.t
Kimchi_types.or_infinity