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

md5=bc7266a140c6886add673ede90e335d3

sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386

include module type of struct include Assert_false_domain.Domain.Query end

module Binary_Lattice = Assert_false_domain.Domain.Query.Binary_Lattice

val binary : 
  size:Units.In_bits.t ->
  Assert_false_domain.Domain.Context.t ->
  Assert_false_domain.Domain.binary ->
  Binary_Lattice.t

module Enum_Lattice = Assert_false_domain.Domain.Query.Enum_Lattice

val enum : 
  Assert_false_domain.Domain.Context.t ->
  Assert_false_domain.Domain.enum ->
  Enum_Lattice.t

val reachable : 'a -> 'b