Module polar_core::terms

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