def split.int

cswap-bend-cli@0.1.0.0 · usage/text.bend:100

import cswap-bend-cli@0.1.0.0/usage/text.bend as Text

import Base

100def split.int(ps: List<&2, String>) -> Maybe<&2, String>:
101  match ps:
102    case Con{i, t}:
103      Some{i}
104    case Nil{}:
105      None{}

Uses (3)

List
String
Maybe

Used by (0)

No other definition uses this definition.