sig
  val any_typing_rule_set :
    Typing_context.static_context Ast_walker_rewrite_context.rewrite_rule_set
end