package codex

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Wto_iteration.WTOFixpoint`Source

module L : ABSTRACTDOMAIN

Sourcemodule CLMap : PatriciaTree.MAP with type key = L.ControlLocation.t

val fixpoint_partition : 
  L.t CLMap.t ->
  L.ControlLocation.t Wto.partition ->
  L.t CLMap.t