Module AltErgoLib.Theories

type prelude =
  1. | Fpa
  2. | Ria
  3. | Nra
val equal_prelude : prelude -> prelude -> Ppx_deriving_runtime.bool
val pp_prelude : Stdlib.Format.formatter -> prelude -> unit
type t =
  1. | Prelude of prelude
  2. | ADT
  3. | AC
val equal : t -> t -> Ppx_deriving_runtime.bool
val pp : Stdlib.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