Struct Decl

pub struct Decl {
    pub term: Ident,
    pub arg_tys: Vec<Ident>,
    pub ret_ty: Ident,
    pub pure: bool,
    pub multi: bool,
    pub partial: 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.

multi: bool

Whether this term can exist with some multiplicity: an extractor or a constructor that matches multiple times, or produces multiple values.

partial: bool

Whether this term’s constructor can fail to match.

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 for Decl

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Decl

impl StructuralPartialEq for Decl