Functions |
|
def_generic (plus,"+") | |
def_generic (minus,"-") | |
def_generic (times,"*") | |
def_generic (div,"/") | |
def_generic (uminus,"u-") | |
use_generic (eq,"=") | |
def_generic (ne,"!=") | |
def_generic (gt,">") | |
def_generic (lt,"<") | |
def_generic (ge,">=") | |
def_generic (le,"<=") |
def_generic | ( | plus | , |
"+" | |||
) |
def_generic | ( | minus | , |
"-" | |||
) |
def_generic | ( | times | , |
"*" | |||
) |
def_generic | ( | div | , |
"/" | |||
) |
def_generic | ( | uminus | , |
"u-" | |||
) |
use_generic | ( | eq | ) |
def_generic | ( | ne | ) |
def_generic | ( | gt | , |
" | , | ||
" | |||
) |
def_generic | ( | lt | ) |
def_generic | ( | ge | , |
">=" | |||
) |
def_generic | ( | le | , |
"<=" | |||
) |