package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Basetype.FieldVariables end
include module type of struct include Printable.Std end
type group = Printable.Std.group = |
val show_group : group -> 'a
val trace_enabled : bool
val invariant : 'a -> 'b -> Invariant.t
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val relift : 'a -> 'a
val to_yojson : t -> Yojson.Safe.t
val _ : t -> Yojson.Safe.t
val gen : 'a -> 'a * 'b option
val gen_f : 'a -> 'b -> 'a * 'b option
val get_var : ('a * 'b) -> 'a
val get_field : ('a * 'b) -> 'b
val has_field : ('a * 'b option) -> bool
val apply_field : ('a -> 'b) -> 'b -> ('c * 'a option) -> 'b
val is_global : (Cil.varinfo * 'a) -> bool
val copy : 'a -> 'a
val equal : (CilType.Varinfo.t * Cil.fieldinfo option) -> (CilType.Varinfo.t * Cil.fieldinfo option) -> bool
val compare : (CilType.Varinfo.t * Cil.fieldinfo option) -> (CilType.Varinfo.t * Cil.fieldinfo option) -> int
val hash : (Cil.varinfo * Cil.fieldinfo option) -> int
val pretty_trace : unit -> (Cil.varinfo * Cil.fieldinfo option) -> Pretty.doc
val get_location : (Cil.varinfo * 'a) -> Cil.location
val to_group : (Cilfacade.VarinfoH.key * 'a) -> Basetype.Variables.group option
val name : unit -> string
val printXml : 'a BatInnerIO.output -> (Cil.varinfo * Cil.fieldinfo option) -> unit
val lookup : (Cil.varinfo * Cil.fieldinfo option) -> string
val show : (Cil.varinfo * Cil.fieldinfo option) -> string
val pretty : unit -> (Cil.varinfo * Cil.fieldinfo option) -> Pretty.doc