Fixpoint.Make
module G : G
module A : sig ... end
val analyze : (G.V.t -> A.data) -> A.g -> G.V.t -> A.data