def ad.ae.rev

bend-osdev-aead@0.1.0.0 · aegis128.bend:86

import Base

86def ad.ae.rev(xs: List<&2, U32>, acc: List<&2, U32>) -> List<&2, U32>:
87  match xs:
88    case Nil{}:
89      acc
90    case Con{h, t}:
91      ad.ae.rev(t, Con{h, acc})