package alt-ergo-lib

  1. Overview
  2. Docs
type prelude =
  1. | Fpa
  2. | Ria
  3. | Nra
val pp_prelude : Stdlib.Format.formatter -> prelude -> unit
type t =
  1. | Prelude of prelude
  2. | ADT
  3. | 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
OCaml

Innovation. Community. Security.