Struct OperArg 

pub struct OperArg {
    pub name: String,
    pub default: Option<Term>,
}

Represents an additional argument associated with an operator definition.

Each OperArg defines a named parameter (an atom) and an optional default value stored as an [arena_terms::Term].

Fields

name: String

The argument name (atom identifier).

default: Option<Term>

Optional default value for the argument.

Trait Implementations

impl Clone for OperArg

fn clone(&self) -> OperArg

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OperArg

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

Formats the value using the given formatter.