package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Framework.Toplevel

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, Format.formatter, unit, unit) format4 -> 'a

Encapsulate a domain into a top-level abstraction