package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Printable.Blank end
include module type of struct include Printable.Std end
type group = Printable.Std.group = |
val show_group : group -> 'a
val to_group : 'a -> 'b option
val trace_enabled : bool
val invariant : 'a -> 'b -> Invariant.t
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val relift : 'a -> 'a
val printXml : 'a BatInnerIO.output -> 'b -> unit
type t' =
  1. | Val of int
  2. | Bot
and t = t' * t' * t' * t'
val equal_t' : t' -> t' -> Ppx_deriving_runtime.bool
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare_t' : t' -> t' -> Ppx_deriving_runtime.int
val compare : t -> t -> Ppx_deriving_runtime.int
val t'_to_yojson : t' -> Yojson.Safe.t
val to_yojson : t -> Yojson.Safe.t
val _ : t -> Yojson.Safe.t
val name : unit -> string
val is_bot_c : t' -> bool
val hash : (t' * t' * t' * t') -> int
val copy : 'a -> 'a
val top : unit -> t' * t' * t' * t'
val is_top : (t' * t' * t' * t') -> bool
val bot : unit -> t' * t' * t' * t'
val is_bot : (t' * t' * t' * t') -> bool
val show : (t' * t' * t' * t') -> string
val pretty : unit -> (t' * t' * t' * t') -> Pretty.doc
val pretty_diff : unit -> ((t' * t' * t' * t') * (t' * t' * t' * t')) -> Pretty.doc
val min_t' : t' -> t' -> t'
val max_t' : t' -> t' -> t'
val leq_t' : t' -> t' -> bool
val leq : (t' * t' * t' * t') -> (t' * t' * t' * t') -> bool
val join : (t' * t' * t' * t') -> (t' * t' * t' * t') -> t' * t' * t' * t'
val widen : (t' * t' * t' * t') -> (t' * t' * t' * t') -> t' * t' * t' * t'
val meet : (t' * t' * t' * t') -> (t' * t' * t' * t') -> t' * t' * t' * t'
val narrow : (t' * t' * t' * t') -> (t' * t' * t' * t') -> t' * t' * t' * t'
val fcon : (t' * t' * t' * t') -> (t' * t' * t' * t') -> t' * t' * t' * t'