package goblint

  1. Overview
  2. Docs
package goblint
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
type ('a, 'b) offs_uk = [
  1. | `NoOffset
  2. | `UnknownOffset
  3. | `Field of 'a * ('a, 'b) offs
  4. | `Index of 'b * ('a, 'b) offs
]
val listify : [> `Field of 'b * 'a | `NoOffset ] as 'a -> 'b list
module Offset (Idx : IntDomain.Z) : sig ... end
module type S = sig ... end
module Normal (Idx : IntDomain.Z) : sig ... end
module NormalLat (Idx : IntDomain.Z) : sig ... end
module Stateless (Idx : Printable.S) : sig ... end
module Fields : sig ... end
module CilLval : sig ... end