Struct RecCallInfo 

pub struct RecCallInfo {
    pub callee: Name,
    pub arg_pos: usize,
    pub arg: Expr,
    pub is_decreasing: bool,
}

Information about a recursive call.

Fields

callee: Name

The function being called

arg_pos: usize

The argument position being passed recursively

arg: Expr

The argument expression

is_decreasing: bool

Whether the argument is structurally smaller

Trait Implementations

impl Clone for RecCallInfo

fn clone(&self) -> RecCallInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RecCallInfo

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

Formats the value using the given formatter.