law equal_deadline_fifo

bend-kit-scheduler@0.4.1.0 · queue_laws.bend:132

import Base
import bend-kit-scheduler@0.4.1.0/queue.bend as Q

132law equal_deadline_fifo:
133  for -A: Data
134  for i: Nat
135  for j: Nat
136  for d: Nat
137  for x: A
138  for y: A
139  {Q.le(A, Q.Ticket{i, d, x}, Q.Ticket{j, d, y}) == Nat.is_le(i, j) : Bool}