~/jendhub

def is_identity

near-architecture@0.9.1.0 · arc.bend:794

import near-architecture@0.9.1.0/arc.bend as Arc
import Base

794def is_identity(+id: String, xs: List<&2, Person>) -> Bool:
795  match xs:
796    case []:
797      False{}
798    case Person{_, identity} <> rest:
799      str_eq(String.to_lower(id), String.to_lower(identity)) || is_identity(id, rest)

Uses (7)

Used by (1)