kdrag.rewrite.decl_index

kdrag.rewrite.decl_index(rules: list[RewriteRule]) → dict[FuncDeclRef, RewriteRule]

Build a dictionary of rules indexed by their lhs head function declaration.

Parameters:

rules (list[RewriteRule])

Return type:

dict[FuncDeclRef, RewriteRule]