package alt-ergo-lib

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module DE = Dolmen.Std.Expr
type _ t = private
  1. | Hstring : Hstring.t -> 'a t
  2. | Term_cst : DE.term_cst -> DE.term_cst t
  3. | Ty_cst : DE.ty_cst -> DE.ty_cst t
  4. | Ty_var : DE.ty_var -> DE.ty_var t
type term_cst = DE.term_cst t
type ty_cst = DE.ty_cst t
type ty_var = DE.ty_var t
val of_term_cst : DE.term_cst -> term_cst
val of_ty_cst : DE.ty_cst -> ty_cst
val of_ty_var : DE.ty_var -> ty_var
val of_string : string -> 'a t
val of_hstring : Hstring.t -> 'a t
val hash : 'a t -> int
val pp : 'a t Fmt.t
val show : 'a t -> string
val equal : 'a t -> 'a t -> bool
val compare : 'a t -> 'a t -> int
val order_tag : int Dolmen.Std.Tag.t

Tag used to attach the order of constructor.

module Term_set : Stdlib.Set.S with type elt = term_cst
module Ty_map : Stdlib.Map.S with type key = ty_cst
OCaml

Innovation. Community. Security.