Module polar_core::terms[][src]

Re-exports

pub use super::error;
pub use super::formatting::ToPolarString;

Structs

Call
Context
Dictionary
ExternalInstance
InstanceLiteral
Operation
Symbol
Term

Represents a concrete instance of a Polar value

Enums

Numeric
Operator
Pattern

Represents a pattern in a specializer or after isa.

Value

Functions

has_rest_var

Return true if the list ends with a rest-variable.

Type Definitions

TermList