package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Printable.Std end

Default dummy definitions.

Include as the first thing to avoid these overriding actual definitions.

val tag : 'a -> 'b
val arbitrary : unit -> 'a
include module type of struct include Var end
include Batteries.Hashtbl.HashedType
type t = Var.t

The type of the hashtable keys.

val equal : t -> t -> bool

The equality predicate used to compare keys.

val hash : t -> int

A hashing function on keys. It must be such that if two keys are equal according to equal, then they have identical hash values as computed by hash. Examples: suitable (equal, hash) pairs for arbitrary key types include ((=), Hashtbl.hash) for comparing objects by structure, ((fun x y -> compare x y = 0), Hashtbl.hash) for comparing objects by structure and handling Pervasives.nan correctly, and ((==), Hashtbl.hash) for comparing objects by addresses (e.g. for cyclic keys).

include ConstrSys.SysVar with type t := t
val is_write_only : t -> bool
val pretty_trace : unit -> t -> GoblintCil.Pretty.doc
val compare : t -> t -> int
val var_id : t -> string
val node : t -> MyCFG.node
val relift : t -> t
val name : unit -> string
val pretty : unit -> t -> GoblintCil.Pretty.doc
include sig ... end
val show : t -> string
val printXml : 'a BatInnerIO.output -> t -> unit
val to_yojson : t -> [> `String of string ]
OCaml

Innovation. Community. Security.