Searched refs:TypeVarConstruct (Results 1 – 1 of 1) sorted by relevance
43 pub enum TypeVarConstruct { enum57 construct: TypeVarConstruct,1424 TypeVarConstruct::Var => { in add_rule_constraints()1432 TypeVarConstruct::BindPattern => { in add_rule_constraints()1446 TypeVarConstruct::Wildcard(i) => { in add_rule_constraints()1449 TypeVarConstruct::Const(i) => { in add_rule_constraints()1459 TypeVarConstruct::Bool(val) => { in add_rule_constraints()1470 TypeVarConstruct::And => { in add_rule_constraints()1490 TypeVarConstruct::Let(bound) => { in add_rule_constraints()1509 TypeVarConstruct::Term(term_id) => { in add_rule_constraints()[all …]