∀ (ellipsis explicit resultIsOutParamSupport ellipsis_1 explicit_1 resultIsOutParamSupport_1 : Bool),
  ({ ellipsis := ellipsis, explicit := explicit, resultIsOutParamSupport := resultIsOutParamSupport } =
      { ellipsis := ellipsis_1, explicit := explicit_1, resultIsOutParamSupport := resultIsOutParamSupport_1 }) =
    (ellipsis = ellipsis_1 ∧ explicit = explicit_1 ∧ resultIsOutParamSupport = resultIsOutParamSupport_1)