Skip to main content

OmenaQueryPolynomialProvenanceV0

omena_query

Type Alias OmenaQueryPolynomialProvenanceV0 

Source 
pub type OmenaQueryPolynomialProvenanceV0 = PolynomialProvenanceV0;

Aliased Type§

pub struct OmenaQueryPolynomialProvenanceV0 {
Show 13 fields
    pub schema_version: &'static str,
    pub product: &'static str,
    pub layer_marker: &'static str,
    pub feature_gate: &'static str,
    pub polynomial_kind: &'static str,
    pub claim_level: &'static str,
    pub theorem_claimed: bool,
    pub selected_ladder: String,
    pub available_ladder_tiers: Vec<&'static str>,
    pub root_operator: &'static str,
    pub variables: Vec<PolynomialProvenanceVariableV0>,
    pub terms: Vec<PolynomialProvenanceTermV0>,
    pub projections: Vec<PolynomialProvenanceProjectionV0>,

}

Fields§

§schema_version: &'static str§product: &'static str§layer_marker: &'static str§feature_gate: &'static str§polynomial_kind: &'static str§claim_level: &'static str§theorem_claimed: bool§selected_ladder: String§available_ladder_tiers: Vec<&'static str>§root_operator: &'static str§variables: Vec<PolynomialProvenanceVariableV0>§terms: Vec<PolynomialProvenanceTermV0>§projections: Vec<PolynomialProvenanceProjectionV0>