function terminalIdEq

Boolean ::= t1::TerminalId t2::TerminalId

In file: TerminalId.sv

function terminalIdLte

Boolean ::= t1::TerminalId t2::TerminalId

In file: TerminalId.sv

function terminalSetEq

Boolean ::= ts1::[TerminalId] ts2::[TerminalId]

In file: TerminalId.sv

function terminalSubset

Boolean ::= ts1::[TerminalId] ts2::[TerminalId]

In file: TerminalId.sv