Astral_internal.HeapTermElimination
val elim_heap_term : SL.t -> SL.Term.t -> SL.Term.t
val apply : SL.t -> SL.t