Crate polar_core

Modules

Macros

args
Builds a list of arguments in reverse order Arguments of the form foo; bar get built into foo specialized on bar Otherwise, the argument is built depending on the type (symbols become names, terms become specializers).
call
dict
instance
op
param
pattern
rule
str
string
sym
term
value
values
var

Functions

loc_to_pos