def internal_invert

bend-mathlib@0.8.1.0 · perm.bend:279

import Base

279def internal_invert(+s: List<&2, Nat>) -> List<&2, Nat>:
280  match s:
281    case Nil{}:
282      Nil{}
283    case +i <> rest:
284      List.append(&2, Nat, internal_invert(rest), i <> Nil{})