def push

bend-kit-webhooks@0.11.0.1 · webhooks.bend:54

import Base

54def push(m: Maybe<&2, String>, rest: List<&2, String>) -> List<&2, String>:
55  match m:
56    case None{}:
57      rest
58    case Some{s}:
59      Con{s, rest}