Home
last modified time | relevance | path

Searched refs:TypeValue (Results 1 – 5 of 5) sorted by relevance

/wasmtime-44.0.1/cranelift/isle/isle/src/
H A Dast.rs40 pub ty: TypeValue,
48 pub enum TypeValue { enum
240 TypeValue(ModelType), enumerator
H A Dprinter.rs392 impl ToSExpr for TypeValue { implementation
395 TypeValue::Primitive(name, _) => { in to_sexpr()
398 TypeValue::Enum(variants, _) => { in to_sexpr()
430 ModelValue::TypeValue(mt) => SExpr::List(vec![SExpr::atom("type"), mt.to_sexpr()]), in to_sexpr()
H A Dparser.rs282 fn parse_typevalue(&mut self) -> Result<TypeValue> { in parse_typevalue() argument
288 Ok(TypeValue::Primitive(primitive_ident, pos)) in parse_typevalue()
296 Ok(TypeValue::Enum(variants, pos)) in parse_typevalue()
571 ModelValue::TypeValue(ty?) in parse_model()
H A Dsema.rs1225 &ast::TypeValue::Primitive(ref id, ..) => { in type_from_ast()
1236 &ast::TypeValue::Enum(ref ty_variants, ..) => { in type_from_ast()
/wasmtime-44.0.1/cranelift/isle/veri/veri_engine/src/
H A Dannotations.rs347 ast::ModelValue::TypeValue(model_type) => { in parse_annotations()