Affine.Backend
type t = Base_field.t Kimchi_types.or_infinity
val zero : unit -> t
val create : Base_field.t -> Base_field.t -> t