sig
  type elt = Kernel_function.t
  val add : elt -> unit
  val iter : (elt -> unit) -> unit
  val is_empty : unit -> bool
end