Searched refs:RewriteAmbiguousRules (Results 1 – 5 of 5) sorted by relevance
83 RewriteAmbiguousRules a b c -> icodeN 36 RewriteAmbiguousRules a b c125 [36, a, b, c] -> valuN RewriteAmbiguousRules a b c
277 RewriteAmbiguousRules lhs rhs1 rhs2 -> vcat
459 RewriteAmbiguousRules{} -> confluenceErrorHighlighting w
406 warning $ RewriteAmbiguousRules (hd es) rhs1 rhs2
3339 | RewriteAmbiguousRules Term Term Term constructor3428 RewriteAmbiguousRules{} -> RewriteAmbiguousRules_