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