package mopsa

You can search for identifiers within the package.

in-package search v0.2.0

Module `Domain.Compose`

Composition combiner

The composition of domains 𝒟₁∘𝒟₂ is similar to function composition as it produces a stack λ𝒟.𝒟₁(𝒟₂(𝒟))

module Make
  (D1 : Sig.Combiner.Stacked.STACKED_COMBINER)
  (D2 : Sig.Combiner.Stacked.STACKED_COMBINER) : 
  Sig.Combiner.Stacked.STACKED_COMBINER with type t = D1.t * D2.t

Compose two domains

val make : 
  (module Sig.Combiner.Stacked.STACKED_COMBINER) list ->
  (module Sig.Combiner.Stacked.STACKED_COMBINER)

Compose a list of domains

package mopsa

Module Domain.Compose

Module `Domain.Compose`