Struct mm0b_parser::TermEntry [−][src]
#[repr(C, align(8))]pub struct TermEntry {
pub num_args: U16<LE>,
pub sort: u8,
pub reserved: u8,
pub p_args: U32<LE>,
}
Expand description
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
Auto Trait Implementations
impl RefUnwindSafe for TermEntry
impl UnwindSafe for TermEntry
Blanket Implementations
Mutably borrows from an owned value. Read more