package calli

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module F = Stdlib.Format

module Make
  (AbsVal : AbstractDomain.S)
  (AbsMem : AbstractMemory.S with type valty = AbsVal.t)
  (Ctxt : Context.S with type memty = AbsMem.t)
  (States : States.S with type ctxtty = Ctxt.t and type memty = AbsMem.t)
  (TF : AbstractSemantics.S with type memty = AbsMem.t) : 
  sig ... end

Functor building an implementation of the Analyzer given abstract domain, abstract memory, analysis context, abstract states, abstract semantics.