package mopsa

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Apply : sig ... end

Apply combiner

module Compose : sig ... end

Composition combiner

module Domain_switch : sig ... end

Switch combiner

module Product : sig ... end

Reduced product combiner with n-ary reduction rules

module Simplified_product : sig ... end

Reduced product of simplified (leaf) domains

module Stateless_switch : sig ... end

Switch of stateless domains

module Switch : sig ... end

Switch combiner

OCaml

Innovation. Community. Security.