Module Fixpoint.Make

Parameters

module G : G
module A : sig ... end

Signature

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