~/jendhub

def nl.find

cswap-bend-cli@0.1.0.0 · frame.bend:17

import cswap-bend-cli@0.1.0.0/frame.bend as Frame
import Base

17# Index of the first LF.
18def nl.find(s: String, +n: Nat) -> Maybe<&2, Nat>:
19  match s:
20    case SNil{}:
21      None{}
22    case SCon{Chr{+c}, t}:
23      nl.pick(U32.is_eq(c, 10), n, nl.find(t, Nat.add(n, 1n)))

Uses (7)

Used by (1)