Struct BuiltinBinding 

pub struct BuiltinBinding {
    pub key: Symbol,
    pub organ: Symbol,
    pub solve: Arc<BuiltinSolve>,
}

Data record describing one builtin goal.

Fields

key: Symbol

Goal functor handled by this binding.

organ: Symbol

Organ that resolves the builtin, exposed as browseable metadata.

solve: Arc<BuiltinSolve>

Thin projection from a goal’s arguments to continuation environments.

Trait Implementations

impl Clone for BuiltinBinding

fn clone(&self) -> BuiltinBinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BuiltinBinding

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

Formats the value using the given formatter.