Affine.Backend
include module type of struct include C.Affine end
type t = BaseField.t Kimchi_types.or_infinity
val zero : unit -> 'a Kimchi_types.or_infinity
val create : 'a -> 'b -> 'c Kimchi_types.or_infinity