package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Toplevel abstraction

There are two main differences with domains. First, transfer functions are indexed by paths to enable a faster access. Second, transfer functions are not partial functions and return always a result.

module type TOPLEVEL = sig ... end

Signature of the toplevel abstraction

Domain encapsulation into an abstraction

val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a

Encapsulate a domain into a top-level abstraction

OCaml

Innovation. Community. Security.