Home
last modified time | relevance | path

Searched refs:ModelValue (Results 1 – 4 of 4) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dprinter.rs427 impl ToSExpr for ModelValue { implementation
430 ModelValue::TypeValue(mt) => SExpr::List(vec![SExpr::atom("type"), mt.to_sexpr()]), in to_sexpr()
431 ModelValue::EnumValues(enumerators) => { in to_sexpr()
H A Dast.rs238 pub enum ModelValue { enum
251 pub val: ModelValue,
H A Dparser.rs571 ModelValue::TypeValue(ty?) in parse_model()
614 ModelValue::EnumValues(variants) in parse_model()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dannotations.rs347 ast::ModelValue::TypeValue(model_type) => { in parse_annotations()
360 ast::ModelValue::EnumValues(vals) => { in parse_annotations()