Poll.scoped.mk: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/poll.bend as Poll
Lines 264-269 of cswap-bend-cli@0.1.0.0/poll.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/poll.bend&start_line=264&end_line=269

import Base
import cswap-bend-cli@0.1.0.0/policy/types.bend as PT

def scoped.mk(n: Maybe<&2, String>, p: Maybe<&2, Nat>, r: Maybe<&2, Nat>) -> Maybe<&2, PT.Scoped>:
  match n p:
    case Some{name} Some{x}:
      Some{PT.Scoped{name, x, r}}
    case _ _:
      None{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/policy/types.bend&name=Scoped