sig
  val iter_in_rev_order : (Kernel_function.t -> unit) -> unit
  val accept_base : Kernel_function.t -> Base.t -> bool
end