sig
  module Callgraph :
    sig
      val iter_in_rev_order : (Kernel_function.t -> unit) -> unit
      val accept_base : Kernel_function.t -> Base.t -> bool
    end
  module Scope : sig val rm_asserts : unit -> unit end
  module RteGen : sig val mark_generated_rte : unit -> unit end
end