296def resourceScheduleGraph =
297 (lambda unrestricted value : (family ResourceSchedule) .
298 (eliminate
299 ResourceSchedule
300 (lambda unrestricted current : (family ResourceSchedule) . (family ResourceGraph))
301 value
302 (branch ResourceScheduleOf graph placements leases . graph)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.