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