Module Yices_backend.Self

val name : string
val binary : string
val model_option : string
val default_options : 'a list
val parser_implemented : bool
val supports_smtlib_options : bool
val supports_get_info : bool
val supports_sets : bool
val supports_quantifiers : bool
val translate_non_std : (SMT.t -> string) -> (Astral_internal.SMT.Variable.Sort.t -> string) -> SMT.t -> Stdlib.String.t
val translate_non_std_sort : (Sort.t -> string) -> Sort.t -> string
val declare_non_std_sort : 'a -> string