def Append.at

bend-lint-rules@0.2.0.0 · performance/append_in_loop.bend:36

import Base

36# Which argument an append copies.
37def Append.at(a: Append) -> Nat:
38  match a:
39    case ListAppend{}:
40      2n
41    case StringAppend{}:
42      0n