Inner_curve (pickles.Pickles.Step_verifier.Inner

type t = Step_main_inputs.Inner_curve.t

val typ : 
  ( t, Step_main_inputs.Inner_curve.Inputs.Constant.t )
    Step_main_inputs.Inner_curve.Inputs.Impl.Typ.t