package goblint

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module GU = Goblintutil
type ('a, 'b) offs = [
  1. | `NoOffset
  2. | `Field of 'a * ('a, 'b) offs
  3. | `Index of 'b * ('a, 'b) offs
]
val equal_offs : 'a 'b. ('a -> 'a -> Ppx_deriving_runtime.bool) -> ('b -> 'b -> Ppx_deriving_runtime.bool) -> ('a, 'b) offs -> ('a, 'b) offs -> Ppx_deriving_runtime.bool
val compare_offs : 'a 'b. ('a -> 'a -> Ppx_deriving_runtime.int) -> ('b -> 'b -> Ppx_deriving_runtime.int) -> ('a, 'b) offs -> ('a, 'b) offs -> Ppx_deriving_runtime.int
val hash_offs : ('a -> int) -> ('b -> int) -> ('a, 'b) offs -> int
module type IdxPrintable = sig ... end

Subinterface of IntDomain.Z which is sufficient for Printable (but not Lattice) Offset.

module type IdxDomain = sig ... end
module OffsetPrintable (Idx : IdxPrintable) : sig ... end
module Offset (Idx : IdxDomain) : sig ... end
module type S = sig ... end
module Normal (Idx : IdxPrintable) : sig ... end
module NormalLat (Idx : IdxDomain) : sig ... end

Lvalue lattice.

module NormalLatRepr (Idx : IdxDomain) : sig ... end

Lvalue lattice with sublattice representatives for DisjointDomain.

module Fields : sig ... end
module CilLval : sig ... end
OCaml

Innovation. Community. Security.