Struct TermEntry

#[repr(C, align(8))]
pub struct TermEntry {
    pub num_args: U16<LE>,
    pub sort: u8,
    pub reserved: u8,
    pub p_args: U32<LE>,
}

An entry in the term table, which describes the “signature” of the term/def, the information needed to apply the term and use it in theorems.

Fields

num_args: U16<LE>

The number of arguments to the term.

sort: u8

The high bit is set if this is a def. The low 7 bits give the return sort of the term.

reserved: u8

Padding.

p_args: U32<LE>

The pointer to an args: [Arg; num_args + 1] array, followed by the term’s unify command sequence. args[num_args] is the return type and dependencies, and args[..num_args] are the actual arguments.

Trait Implementations

impl AsBytes for TermEntry

fn as_bytes(&self) -> &[u8]

Gets the bytes of this value.

fn as_bytes_mut(&mut self) -> &mut [u8]

where Self: FromBytes,

Gets the bytes of this value mutably.

impl Clone for TermEntry

fn clone(&self) -> TermEntry

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TermEntry

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

Formats the value using the given formatter.

impl FromBytes for TermEntry

fn new_zeroed() -> Self

where Self: Sized,

Creates an instance of Self from zeroed bytes.

impl Copy for TermEntry