<filename>projects/MEDIUM/ATS-parse-emit/Python/prelude/CATS/integer_cats.py<gh_stars>0
#
# for Python code translated from ATS
#

###### beg of [integer_cats.py] ######

######################################
#
# g0int-operations
#
######################################

def atspre_g0int2int_int_int(x): return (x)
def atspre_g1int2int_int_int(x): return (x)

######################################

def atspre_g0int_add_int(x, y): return (x + y)
def atspre_g0int_sub_int(x, y): return (x - y)
def atspre_g0int_mul_int(x, y): return (x * y)
def atspre_g0int_div_int(x, y): return (x // y)

######################################

def atspre_g0int_lt_int(x, y): return (x < y)
def atspre_g0int_lte_int(x, y): return (x <= y)
def atspre_g0int_gt_int(x, y): return (x > y)
def atspre_g0int_gte_int(x, y): return (x >= y)

def atspre_g0int_eq_int(x, y): return (x == y)
def atspre_g0int_neq_int(x, y): return (x != y)

######################################
#
# g1int-operations
#
######################################

def atspre_g1int_add_int(x, y): return (x + y)
def atspre_g1int_sub_int(x, y): return (x - y)
def atspre_g1int_mul_int(x, y): return (x * y)
def atspre_g1int_div_int(x, y): return (x // y)

######################################

def atspre_g1int_lt_int(x, y): return (x < y)
def atspre_g1int_lte_int(x, y): return (x <= y)
def atspre_g1int_gt_int(x, y): return (x > y)
def atspre_g1int_gte_int(x, y): return (x >= y)

def atspre_g1int_eq_int(x, y): return (x == y)
def atspre_g1int_neq_int(x, y): return (x != y)

######################################

###### end of [integer_cats.py] ######
