~/jendhub

def access_equal

bendvy-ecs-core@0.1.0.4 · world.bend:299

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

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

Uses (5)

Used by (1)