~/jendhub

def text

bend-kit-time@0.3.0.0 · time.bend:438

import bend-kit-time@0.3.0.0/time.bend as Time
import Base

438def text(+w: String, p: P) -> Maybe<&2, P>:
439  match p:
440    case P{vs, +s}:
441      +n = String.length(w)
442      lit.if(String.eq(String.take(s, n), w), vs, String.drop(s, n))

Uses (8)

Used by (1)