def same

bendvy-ecs-core@0.1.0.4 · schedule_provision.bend:33

import bendvy-ecs-core@0.1.0.4/schedule_provision.bend as ScheduleProvision
import Base

33def same(~S: Data,a: Requirement<S>,b: Requirement<S>) -> Bool:
34  match a b:
35    case Component{a} Component{b}: U32.is_eq(a,b)
36    case Resource{a} Resource{b}: U32.is_eq(a,b)
37    case Service{a} Service{b}: U32.is_eq(a,b)
38    case _ _: False{}

Uses (3)

Used by (1)