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