StringEquality.registration_equal: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/string_equality.bend as StringEquality
Lines 21-22 of bendvy-ecs-core@0.1.0.3/string_equality.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/string_equality.bend&start_line=21&end_line=22

import Base

def registration_equal(id: U32,name: String,access: List<&2,String>,otherId: U32,otherName: String,otherAccess: List<&2,String>) -> Bool:
  Bool.and(U32.is_eq(id,otherId),Bool.and(equal(name,otherName),access_equal(access,otherAccess)))

Uses (8):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_eq
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/string_equality.bend&name=access_equal
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/string_equality.bend&name=equal