Searched defs:ScopedExpr (Results 1 – 1 of 1) sorted by relevance
109 | ScopedExpr ScopeInfo Expr -- ^ Scope annotation. constructor532 ScopedExpr _ a1 == ScopedExpr _ a2 = a1 == a2 function