Solver (function_graphs.Function

module Naive
  (T : sig ... end)
  (TMap : sig ... end)
  (X : sig ... end)
  (Y : sig ... end)
  (MFG : sig ... end) : 
  sig ... end

module Simple (G : Sigs.MFG) : sig ... end

module Simple2
  (T : sig ... end)
  (TMap : sig ... end)
  (X : sig ... end)
  (Y : sig ... end)
  (MFG : sig ... end) : 
  sig ... end