Type Alias RunDataValue 

pub type RunDataValue = EvaluateDataValue;

👎Deprecated:

use EvaluateDataValue

Aliased Type

pub enum RunDataValue {
    Literal(String),
    Boolean(bool),
    Map(IndexMap<String, EvaluateDataValue>),
    List(Vec<EvaluateDataValue>),
}

Variants

Literal(String)

Unparsed Lemma literal text, parsed against the declared type by [parse_value_from_string].

Boolean(bool)

Map(IndexMap<String, EvaluateDataValue>)

List(Vec<EvaluateDataValue>)