Module AltErgoLib.Models

Models module

type t = {
  1. propositional : AltErgoLib.Expr.Set.t;
  2. model : ModelMap.t;
  3. term_values : Expr.t AltErgoLib.Expr.Map.t;
    (*

    A map from terms to their values in the model.

    *)
}
val empty : t
val pp : t Fmt.t