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