package mopsa

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

Generic non-relational abstraction.

module Product : sig ... end

Reduced product of value abstractions.

module Union : sig ... end

Union of value abstractions.

OCaml

Innovation. Community. Security.