package codex
The Codex library for building static analysers based on abstract interpretation
Install
dune-project
Dependency
Authors
Maintainers
Sources
1.0-rc4.tar.gz
md5=bc7266a140c6886add673ede90e335d3
sha512=8da42c0ff2c1098c5f9cb2b5b43b306faf7ac93b8f5ae00c176918cee761f249ff45b29309f31a05bbcf6312304f86a0d5a000eb3f1094d3d3c2b9b4c7f5c386
doc/codex.domains/Domains/Log/index.html
Module Domains.LogSource
Source
module Log_Domain
(Log : Tracelog.S)
(Sub : Sig.BASE) :
Sig.BASE
with type Context.t = Sub.Context.t
and type binary = Sub.binary
and type boolean = Sub.boolean
and module Context = Sub.ContextSource
module Log_With_Focusing
(Log : Tracelog.S)
(Sub : Memory_domains.With_focusing.S_with_types) :
Memory_domains.With_focusing.S_with_types
with type Context.t = Sub.Context.t
and type binary = Sub.binary
and type boolean = Sub.boolean