module Rewriting_rules_typing: sig .. end
sig
end
val any_typing_rule_set : Typing_context.static_context Ast_walker_rewrite_context.rewrite_rule_set
Typing_context.static_context Ast_walker_rewrite_context.rewrite_rule_set