Struct cranelift_isle::ast::Decl

pub struct Decl {
    pub term: Ident,
    pub arg_tys: Vec<Ident>,
    pub ret_ty: Ident,
    pub pure: bool,
    pub pos: Pos,
}

A declaration of a term with its argument and return types.

Fields

term: Ident

arg_tys: Vec<Ident>

ret_ty: Ident

pure: bool

Whether this term’s constructor is pure.

pos: Pos

Trait Implementations

impl Clone for Decl

fn clone(&self) -> Decl

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Decl

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

Formats the value using the given formatter.

impl PartialEq<Decl> for Decl

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Eq for Decl

impl StructuralEq for Decl

impl StructuralPartialEq for Decl