Functions |
|
| use_generic (plus,"+") | |
| use_generic (minus,"-") | |
| use_generic (times,"*") | |
| use_generic (div,"/") | |
| use_generic (uminus,"u-") | |
| use_generic (eq,"=") | |
| use_generic (ne,"!=") | |
| use_generic (random,"random") | |
| def_visible_generic_debug_ok (length,"length") | |
| def_visible_generic_debug_ok (dot,"dot") | |
| def_visible_generic_debug_ok (cross,"cross") | |
| def_visible_generic_debug_ok (normalize,"normalize") | |
| def_visible_generic_debug_ok (distance,"distance") | |
| use_generic | ( | plus | , |
| "+" | |||
| ) |
| use_generic | ( | minus | , |
| "-" | |||
| ) |
| use_generic | ( | times | , |
| "*" | |||
| ) |
| use_generic | ( | div | , |
| "/" | |||
| ) |
| use_generic | ( | uminus | , |
| "u-" | |||
| ) |
| use_generic | ( | eq | ) |
| use_generic | ( | ne | ) |
| use_generic | ( | random | , |
| "random" | |||
| ) |
| def_visible_generic_debug_ok | ( | length | , |
| "length" | |||
| ) |
| def_visible_generic_debug_ok | ( | dot | , |
| "dot" | |||
| ) |
| def_visible_generic_debug_ok | ( | cross | , |
| "cross" | |||
| ) |
| def_visible_generic_debug_ok | ( | normalize | , |
| "normalize" | |||
| ) |
| def_visible_generic_debug_ok | ( | distance | , |
| "distance" | |||
| ) |