Module AltErgoLib.Theories

type prelude =
  1. | Nra
  2. | Ria
  3. | Fpa
  4. | SmtFloat
val prelude_to_int : prelude -> int
val pp_prelude : Stdlib.Format.formatter -> prelude -> unit
val equal_prelude : prelude -> prelude -> bool
val compare_prelude : prelude -> prelude -> int
type t =
  1. | Prelude of prelude
  2. | ADT
  3. | AC
val equal : t -> t -> bool
val compare : t -> t -> int
val pp : Stdlib.Format.formatter -> t -> unit
val prelude_filename : prelude -> string
val filename : prelude -> string
val get_prelude : prelude -> string
val fpa_prelude : string
val ria_prelude : string
val nra_prelude : string
val content : prelude -> string option
val installed_file : prelude -> string option
val all_preludes : prelude list
val default_preludes : prelude list
val all : t list
val default : t list
val theory_enum : (string * t) list
val preludes : t list -> prelude list
module Set : sig ... end