Affine.Backend
type t = Fp.t Kimchi_types.or_infinity
val zero : unit -> 'a Kimchi_types.or_infinity
val create : 'a -> 'a -> 'a Kimchi_types.or_infinity