Struct ContractOrigin 

pub(crate) struct ContractOrigin {
    pub name: String,
    pub args: Vec<String>,
    pub meaning: Option<String>,
}

Display metadata for a property expanded from a compound property (pred!-style macro). Purely presentational: it lets reports render a macro-expanded contract as a single name(args) entry with its doc-derived meaning, instead of the underlying primitives it expanded into.

Fields

name: String

args: Vec<String>

meaning: Option<String>

Trait Implementations

impl Clone for ContractOrigin

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractOrigin

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

Formats the value using the given formatter.