Module Terms.SUPER_TERMS

val iter_on_superterms : 'a t -> (any -> unit) -> unit