Struct FnContract 

pub struct FnContract {
    pub source_name: String,
    pub recursion: Option<RecursionContract>,
}

Per-pure-fn proof contract — what recursion shape (if any) the lowerer pinned for emit.

Fields

source_name: String

recursion: Option<RecursionContract>

None means non-recursive (plain emit). Some says native / fuel / structural / whatever the lowerer decided, with all side-conditions inlined.

Trait Implementations

impl Clone for FnContract

fn clone(&self) -> FnContract

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FnContract

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

Formats the value using the given formatter.