Module Fixpoint.Make

Parameters

• G : G
• A : sig ... end

Signature

val analyze : (G.V.t -> A.data) -> A.g -> G.V.t -> A.data