Struct VarInsight 

pub struct VarInsight {
    pub name: String,
    pub kind: String,
    pub facts: Vec<String>,
}

One variable’s observed invariants — facts that held over the recorded run (constant, monotonic, range, distinct count). Dynamic likely-invariants, labelled as observed (not proven), the empirical companion to the Oracle’s static facts.

Fields

name: String

kind: String

facts: Vec<String>

Trait Implementations

impl Clone for VarInsight

fn clone(&self) -> VarInsight

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Serialize for VarInsight

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

where __S: Serializer,

Serialize this value into the given Serde serializer.