Snark_params.Make_inner_curve_aux
module Impl : sig ... end
module Other_impl : sig ... end
type var = Impl.Field.Var.t * Impl.Field.Var.t
module Scalar : sig ... end