package mopsa

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

Pointwise lattice construction.

Lattice of partial maps ๐•‚ โ‡€ ๐• where ๐•‚ is a key set and ๐• is a value lattice. Unlink Partial_map, โŠฅ values is not coalescent.

Bindings that map keys to โŠฅ values are not represented.

We use Maps, so ๐•‚ needs to be totally ordered.

โŠฅ map is represented as the empty map. โŠค map is represented as a special TOP element.

val debug : ('a, Stdlib.Format.formatter, unit, unit) Stdlib.format4 -> 'a
module type KEY = sig ... end
module Make (Key : KEY) (Value : Core.All.LATTICE) : sig ... end
OCaml

Innovation. Community. Security.