package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

module X : OrderedType

Signature

type elt = X.t
type t
val make : elt view -> t
val view : t -> elt view
val atom_view : t -> elt atom_view * bool
val mk_eq : elt -> elt -> t
val mk_distinct : bool -> elt list -> t
val mk_builtin : bool -> builtin -> elt list -> t
val mk_pred : elt -> bool -> t
val mkv_eq : elt -> elt -> elt view
val mkv_distinct : bool -> elt list -> elt view
val mkv_builtin : bool -> builtin -> elt list -> elt view
val mkv_pred : elt -> bool -> elt view
val neg : t -> t
val add_label : Hstring.t -> t -> unit
val label : t -> Hstring.t
val print : Format.formatter -> t -> unit
val compare : t -> t -> int
val equal : t -> t -> bool
val hash : t -> int
val uid : t -> int
val elements : t -> elt list
module Map : Map.S with type key = t
module Set : Set.S with type elt = t