Module Graph.Fixpoint

module type G = sig ... end
type direction =
| Forward
| Backward
module type Analysis = sig ... end
module Make : functor (G : G) -> functor (A : sig ... end) -> sig ... end