Struct OrProperty 

pub struct OrProperty<'tcx> {
    pub groups: Vec<Vec<Box<Property<'tcx>>>>,
    pub contract_kind: ContractKind,
    pub origin_name: Option<String>,
    pub origin_args: Option<Vec<String>>,
    pub origin_meaning: Option<String>,
}

Fields

groups: Vec<Vec<Box<Property<'tcx>>>>

Alternative property groups. Each inner Vec is a conjunction (all must hold); at least one group must hold in a disjunction.

contract_kind: ContractKind

origin_name: Option<String>

Display name of the compound def this property expanded from.

origin_args: Option<Vec<String>>

The full call-site arguments of the compound def (rendered source).

origin_meaning: Option<String>

The human-readable meaning of the compound def.

Trait Implementations

impl<'tcx> Clone for OrProperty<'tcx>

fn clone(&self) -> OrProperty<'tcx>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'tcx> Debug for OrProperty<'tcx>

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

Formats the value using the given formatter.