AltErgoLib.Theories
type prelude =
| Fpa
| Ria
| Nra
val pp_prelude : Stdlib.Format.formatter -> prelude -> unit
type t =
| Prelude of prelude
| ADT
| AC
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 : 'a list
val default : t list
val preludes : t list -> prelude list