~/jendhub

def access_equal

bendvy-ecs-core@0.1.0.3 · world.bend:301

import bendvy-ecs-core@0.1.0.3/world.bend as World
import Base
import string_equality.bend as SE

301# Exact ordered declaration comparison; no normalization grants capabilities.
302def access_equal(xs: List<&2,String>,ys: List<&2,String>) -> Bool:
303  match xs ys:
304    case Nil{} Nil{}: True{}
305    case Nil{} Con{_,_}: False{}
306    case Con{_,_} Nil{}: False{}
307    case Con{x,xs} Con{y,ys}: Bool.and(SE.equal(x,y),access_equal(xs,ys))

Uses (5)

Used by (1)