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.VarSource

Sourcetype t
Sourcetype view = {
  1. hs : Hstring.t;
  2. id : int;
}
Sourceval of_hstring : Hstring.t -> t
Sourceval of_string : string -> t
Sourceval view : t -> view
Sourceval compare : t -> t -> int
Sourceval equal : t -> t -> bool
Sourceval hash : t -> int
Sourceval print : Format.formatter -> t -> unit
Sourceval to_string : t -> string
Sourcemodule Map : Map.S with type key = t
Sourcemodule Set : Set.S with type elt = t