package pratter

The main type of terms, that contains symbols, applications, binary and unary operators.

The table is used to store available operators.

get tbl t returns None if t is not an operator according to table tbl, and it returns the properties of the operator otherwise.

make_appl t u returns the application of t to u, sometimes noted @(t, u), or just t u.