Parameter Make.Term
val apply_renaming : Term.t -> Flambda2_nominal.Renaming.t -> Term.tinclude Flambda2_nominal.Contains_ids.S with type t := Term.t
val ids_for_export : Term.t -> Flambda2_nominal.Ids_for_export.tGather all table identifiers to export them.