Enum BuiltinKind 

pub enum BuiltinKind {
    Control,
    Inline,
    Det,
    Atom,
}

Where a name is handled, used only to partition the validation that codegen/runtime stay in sync with this table. Not a dispatch hint.

Variants

Control

Control construct — handled structurally in codegen/runtime (, ; -> \+ once catch throw findall call between).

Inline

Inline goal — its own LGoal variant or an op-code table (= \= is compare, arithmetic and term-order comparisons).

Det

Deterministic builtin dispatched to a plg_rt_b_* symbol (the DET_BUILTINS set).

Atom

Reserved arity-0 atom goal (true fail false !).

Trait Implementations

impl Clone for BuiltinKind

fn clone(&self) -> BuiltinKind

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for BuiltinKind

impl Debug for BuiltinKind

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for BuiltinKind

impl PartialEq for BuiltinKind

fn eq(&self, other: &BuiltinKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for BuiltinKind