Webhooks.ts.some: def of bend-kit-webhooks@0.11.0.1
Import: import bend-kit-webhooks@0.11.0.1/webhooks.bend as Webhooks
Lines 71-80 of bend-kit-webhooks@0.11.0.1/webhooks.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-webhooks@0.11.0.1/webhooks.bend&start_line=71&end_line=80

import Base
import bend-kit-int@0.2.0.0/int.bend as Int

def ts.some(ok: Bool, m: Maybe<&2, Int.I64>) -> Result<&1, &1, Err, Int.I64>:
  match ok:
    case False{}:
      Fail{BadTimestamp{}}
    case True{}:
      match m:
        case None{}:
          Fail{BadTimestamp{}}
        case Some{t}:
          Done{t}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result
  https://jend.leeeet.dev/definition.txt?path=bend-kit-int@0.2.0.0/int.bend&name=I64
  https://jend.leeeet.dev/definition.txt?path=bend-kit-webhooks@0.11.0.1/webhooks.bend&name=Err