package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct