Module Graph.Fixpoint

module type G = sig ... end
type direction =
  1. | Forward
  2. | Backward
module type Analysis = sig ... end
module Make (G : G) (A : sig ... end) : sig ... end