Module Wto_iteration.WTOFixpoint

Parameters

module L : ABSTRACTDOMAIN

Signature

module 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