Astral_internal.ModelAdapter
type t = {
eqs : (SL.Variable.t * SL.Variable.t) list;
skolem_variables : SL.Variable.t list;
}
val empty : t
val show : t -> string
val add_skolem_var : t -> SL.Variable.t -> t
val apply : t -> StackHeapModel.t -> StackHeapModel.t