Module AltErgoLib.Theories

type prelude =
  1. | Nra
  2. | Ria
  3. | Fpa
val equal_prelude : prelude -> prelude -> Ppx_deriving_runtime.bool
val pp_prelude : Format.formatter -> prelude -> unit
val compare_prelude : prelude -> prelude -> int
type t =
  1. | Prelude of prelude
  2. | ADT
  3. | AC
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> int
val pp : Format.formatter -> t -> unit
val filename : prelude -> string
val content : prelude -> string
val all_preludes : prelude list
val all : t list
val default_preludes : prelude list
val default : t list
val preludes : t list -> prelude list
module Set : sig ... end