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