package goblint

You can search for identifiers within the package.

in-package search v0.2.0

Static analysis framework for C

Install

dune-project

Dependency

goblint.in.tum.de Readme Changelog Edit opam file Versions (8)

Authors

Maintainers

Sources

goblint-1.1.1.tbz

sha256=999272bfbd3b9b96fcd58987b237ac6e9fa6d92ef935cc89f1ea2b4205185141

sha512=f3bf6ab71cf8c258d3290da4bf9f6fe42d7c671822e0efeb0fc50afdff078ab15e352237e5c1db31c5aa3a9d430691268ed2e5e00da10f2615835f672f91683d

doc/goblint.lib/Lval/index.html

Module `Lval`

module GU = Goblintutil

type ('a, 'b) offs = [

| `NoOffset
| `Field of 'a * ('a, 'b) offs
| `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 = [

| `NoOffset
| `UnknownOffset
| `Field of 'a * ('a, 'b) offs
| `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