fact: Definition curry_decode `(t: Term σ V o) (a: Arguments σ o): curry (decode t a) ≡ apply_args a (app_tree σ t).
imports: MathClasses.interfaces.canonical_names MathClasses.interfaces.universal_algebra Coq.Program.Program