def AaTerm.rev_onto

bend-osdev-apparmor@0.1.0.0 · token.bend:480

import bend-osdev-apparmor@0.1.0.0/token.bend as Token

import Base

480def AaTerm.rev_onto(xs: List<&2, AaTerm>, acc: List<&2, AaTerm>) -> List<&2, AaTerm>:
481  match xs:
482    case Nil{}:
483      acc
484    case Con{h, t}:
485      AaTerm.rev_onto(t, Con{h, acc})

Uses (2)

Used by (2)