Type Alias ReadAtomic 

pub type ReadAtomic<Int> = IntAtomic<Rc<str>, Int>;

The IntAtomic type that is produced by the ProofReader.

Aliased Type

pub struct ReadAtomic<Int> {
    pub name: Rc<str>,
    pub comparison: IntComparison,
    pub value: Int,
}

Fields

name: Rc<str>

comparison: IntComparison

value: Int