{P : Sort u} →
  {presentations presentations' : Array ProofWidgets.ExprPresentationData} →
    { presentations := presentations } = { presentations := presentations' } → (presentations = presentations' → P) → P