def push
import bend-lint-api@0.2.0.0/shared/lists.bend as Listsimport Base
56def push(-A: Data, x: Maybe<&2, A>, out: List<&2, A>) -> List<&2, A>:
57 match x:
58 case Some{v}:
59 v <> out
60 case None{}:
61 out
import bend-lint-api@0.2.0.0/shared/lists.bend as Listsimport Base
56def push(-A: Data, x: Maybe<&2, A>, out: List<&2, A>) -> List<&2, A>:
57 match x:
58 case Some{v}:
59 v <> out
60 case None{}:
61 out