package mopsa

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

Extended domains signatures used by combiners

module Simplified : sig ... end

Extended domains signatures used by combiners

module Simplified_functor : sig ... end

Simplified interface of functor domains.

module Stacked : sig ... end

Signature of stacked combiner domains

module Stateless : sig ... end

Extended domains signatures used by combiners

OCaml

Innovation. Community. Security.