package mopsa

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

Lattice of partial inversible maps.

Sets of partial maps M ∈ ℘(𝕂 ⇀ 𝕍) from concrete keys set 𝕂 to concrete values set 𝕍 are abstracted as a set of partial maps ℳ ∈ 𝕂 ⇀ (℘(𝕍) ∪ ).

module type ORDER = sig ... end

Signature of ordered types with printers

OCaml

Innovation. Community. Security.