Module Astral_internal.Backend_sig

type ('term, 'model) status =
  1. | SMT_Sat of (SMT.Model.t * 'model) option
  2. | SMT_Unsat of (SMT.t * 'term) list
  3. | SMT_Unknown of string

Type of backend's result parametrised by its internal representation of terms and models.

module type DESCRIPTION = sig ... end

Signature of basic solver parameters.

module type BACKEND = sig ... end
module type SMTLIB_BACKEND = sig ... end