∀ {T : Type u_1} {N : Type u_2} {input : N} {output : List (Symbol T N)} {input_1 : N} {output_1 : List (Symbol T N)},
  { input := input, output := output } = { input := input_1, output := output_1 } → input = input_1 ∧ output = output_1