Backend (astral.Astral_internal.Smtlib_backend

include Backend_sig.DESCRIPTION

val name : string

val supports_smtlib_options : bool

val supports_get_info : bool

val supports_sets : bool

val supports_quantifiers : bool

val binary : string

val default_options : string list

val model_option : string

val parser_implemented : bool

Translation of non-standard terms and sorts

type translate_term_cont := SMT.t -> string

Type of continuation for term translation.

type translate_sort_cont := Sort.t -> string

Type of continuation for sort translation.

val translate_non_std : 
  translate_term_cont ->
  translate_sort_cont ->
  SMT.t ->
  string

val declare_non_std_sort : Sort.t -> string

val translate_non_std_sort : translate_sort_cont -> Sort.t -> string