~/jendhub

def St.find

bendtorch-load@1.3.0.0 · main.bend:415

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad
import Base

415# the entry named `name`
416def St.find(rs: List<&2, Rec>, +name: String) -> Maybe<&2, Rec>:
417  match rs:
418    case Nil{}: None{}
419    case Con{+r, t}: St.find_put(r, St.find(t, name), String.eq(St.rec_name(r), name))

Uses (7)

Used by (1)