<auto-generated stub>
def eql(x: T, y: T): Bit
def geq(x: T, y: T): Bit
def gt(x: T, y: T): Bit
def leq(x: T, y: T): Bit
def lt(x: T, y: T): Bit
def neq(x: T, y: T): Bit