Lists.push: def of bend-lint-api@0.2.0.0
Import: import bend-lint-api@0.2.0.0/shared/lists.bend as Lists
Lines 56-61 of bend-lint-api@0.2.0.0/shared/lists.bend: https://jend.leeeet.dev/read.txt?path=bend-lint-api@0.2.0.0/shared/lists.bend&start_line=56&end_line=61

import Base

def push(-A: Data, x: Maybe<&2, A>, out: List<&2, A>) -> List<&2, A>:
  match x:
    case Some{v}:
      v <> out
    case None{}:
      out

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe