Graph.Strat
module type G = sig ... end
module type PLAYER = sig ... end
module type STRAT = sig ... end
module Algo : functor (G : G) -> functor (P : sig ... end) -> functor (S : sig ... end) -> sig ... end