package alt-ergo-lib

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

Module AltErgoLib.XliteralSource

Sourcetype builtin = Symbols.builtin =
  1. | LE
  2. | LT
  3. | IsConstr of Hstring.t
Sourcetype 'a view =
  1. | Eq of 'a * 'a
  2. | Distinct of bool * 'a list
  3. | Builtin of bool * builtin * 'a list
  4. | Pred of 'a * bool
Sourcetype 'a atom_view
Sourcemodule type OrderedType = sig ... end
Sourcemodule type S = sig ... end
Sourcemodule Make (X : OrderedType) : S with type elt = X.t