Function espr::ir::gather_constraint_expr[][src]

pub fn gather_constraint_expr(
    ns: &Namespace<'_>,
    st: &SyntaxTree
) -> Result<HashMap<Path, ConstraintExpr>, SemanticError>