Parameter Make.4-G1

type t
module Affine : sig ... end
val to_affine_exn : t -> Affine.t
val to_affine : t -> Affine.t option