<auto-generated stub>
def add(x: T, y: T): T
def div(x: T, y: T): T
def mul(x: T, y: T): T
def sub(x: T, y: T): T