Struct ParamInfo 

pub struct ParamInfo {
    pub name: Name,
    pub pos: usize,
    pub inductive_type: Option<Name>,
}

Information about a function parameter for termination checking.

Fields

name: Name

Parameter name

pos: usize

Parameter position (0-indexed)

inductive_type: Option<Name>

The inductive type this param belongs to (if any)

Trait Implementations

impl Clone for ParamInfo

fn clone(&self) -> ParamInfo

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParamInfo

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

Formats the value using the given formatter.