package codex

You can search for identifiers within the package.

in-package search v0.2.0

The Codex library for building static analysers based on abstract interpretation

Install

dune-project

Dependency

codex.top Edit opam file Versions (1)

Authors

Maintainers

M

Matthieu Lemerre <matthieu.lemerre@cea.fr>

Sources

1.0-rc4.tar.gz

md5=bc7266a140c6886add673ede90e335d3

sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

doc/codex.operator/Operator/Sig/Backward_Arity/index.html

Module `Sig.Backward_Arity`Source

Standard arities for backward transfer functions (used to refined the arguments from information on the result values). These take the result value 'r as argument and return a new-improved value for each argument. They return None when no improvement is possible for that argument.

We generally don't include backward function for symbols of arity 0.

Sourcetype 'r ar0 = 'r -> unit

Sourcetype ('a, 'r) ar1 = 'a -> 'r -> 'a option

Sourcetype ('a, 'b, 'r) ar2 = 'a -> 'b -> 'r -> 'a option * 'b option

Source

type ('a, 'b, 'c, 'r) ar3 =
  'a ->
  'b ->
  'c ->
  'r ->
  'a option * 'b option * 'c option