Struct ContextFnSummary 

pub struct ContextFnSummary {

    pub name: String,
    pub signature: String,
    pub description: Option<String>,
    pub effects: Vec<String>,
    pub qualifiers: Vec<String>,
    pub auto_memo: bool,
    pub auto_tco: bool,
    pub recursive_callsites: usize,
    pub verify_count: usize,
    pub verify_samples: Vec<String>,
    pub is_exposed: bool,
    pub specs: Vec<String>,
    pub direct_calls: Vec<String>,
}

Fields

name: String

signature: String

description: Option<String>

effects: Vec<String>

qualifiers: Vec<String>

auto_memo: bool

auto_tco: bool

recursive_callsites: usize

verify_count: usize

verify_samples: Vec<String>

is_exposed: bool

specs: Vec<String>

direct_calls: Vec<String>

Trait Implementations

impl Clone for ContextFnSummary

fn clone(&self) -> ContextFnSummary

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContextFnSummary

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

Formats the value using the given formatter.

impl Serialize for ContextFnSummary

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.