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

module TypedC = Types.TypedC

module type BASE_WITH_TYPES = sig ... end

module type S = sig ... end

module type S_with_types = sig ... end

module Make
  (D : Memory_sig.Base) : 
  S with module Context = D.Context and type boolean = D.boolean

module Make_with_types
  (D : BASE_WITH_TYPES) : 
  S_with_types with module Context = D.Context and type boolean = D.boolean