DataFlow (fix.Fix.DataFlow)

module Run (M : sig ... end) (P : sig ... end) (G : sig ... end) : sig ... end

module ForOrderedType
  (T : Map.OrderedType)
  (P : sig ... end)
  (G : sig ... end) : 
  sig ... end

module ForHashedType
  (T : Hashtbl.HashedType)
  (P : sig ... end)
  (G : sig ... end) : 
  sig ... end

module ForType
  (T : sig ... end)
  (P : sig ... end)
  (G : sig ... end) : 
  sig ... end

module ForIntSegment
  (K : sig ... end)
  (P : sig ... end)
  (G : sig ... end) : 
  sig ... end

module ForCustomMaps
  (P : sig ... end)
  (G : sig ... end)
  (V : sig ... end)
  (B : sig ... end) : 
  sig ... end