package goblint

  1. Overview
  2. Docs
package goblint
Legend:
Library
Module
Module type
Parameter
Class
Class type
module B = Basetype
module BV = B.Variables
module OPT = BatOption
module BI = IntOps.BigIntOps
val cast : Cil.varinfo -> 'a -> 'a
module MatrixCache : sig ... end
val ikind : unit -> Cil.ikind
module E : sig ... end
module OctLiszt : sig ... end
module ConstraintType : sig ... end
module CT = ConstraintType
module type S = sig ... end
module VD : sig ... end
module MapOctagon : S with type key = BV.t
module MapOctagonBot : S with type key = BV.t