Struct LcnfFunDecl 

pub struct LcnfFunDecl {
    pub name: String,
    pub original_name: Option<Name>,
    pub params: Vec<LcnfParam>,
    pub ret_type: LcnfType,
    pub body: LcnfExpr,
    pub is_recursive: bool,
    pub is_lifted: bool,
    pub inline_cost: usize,
}

A top-level function declaration in LCNF.

Fields

name: String

The fully qualified name of this function.

original_name: Option<Name>

The original kernel name.

params: Vec<LcnfParam>

Parameters of this function.

ret_type: LcnfType

Return type.

body: LcnfExpr

The function body in LCNF.

is_recursive: bool

Whether this function is recursive.

is_lifted: bool

Whether this function was lifted from a nested lambda.

inline_cost: usize

Inlining cost heuristic (lower = more likely to inline).

Trait Implementations

impl Clone for LcnfFunDecl

fn clone(&self) -> LcnfFunDecl

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LcnfFunDecl

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

Formats the value using the given formatter.

impl PartialEq for LcnfFunDecl

fn eq(&self, other: &LcnfFunDecl) -> 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 StructuralPartialEq for LcnfFunDecl