package mopsa

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

Signature of stacked domains

The signature STACKED is the feature-complete signature in Mopsa. It represents the lowlevel unified signature used by the framework and all other signatures are casted to it during the construction of the top-level abstraction.

In addition to the access to the top-level abstraction through the manager, this signature allows performing unification over a (shared) sub-abstraction during lattice operations (subset, join, meet and widen).

Signature

module type STACKED = sig ... end

Registration

val register_stacked_domain : (module STACKED) -> unit

Register a new stacked domain

val find_stacked_domain : string -> (module STACKED)

Find a stacked domain by its name. Raise Not_found if no domain is found

val mem_stacked_domain : string -> bool

mem_stacked_domain name checks whether a stacked domain with name name is registered

val stacked_domain_names : unit -> string list

Return the names of registered stacked domains

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct