1-Inputs.G1
type t
val to_affine_exn : t -> Field.t * Field.t
val of_affine : (Field.t * Field.t) -> t