Module Strat.Algo

Parameters

• G : G
• P : sig ... end
• S : sig ... end

Signature

val coherent_player : G.t -> P.t -> bool

val coherent_strat : G.t -> S.t -> bool

val game : G.t -> P.t -> S.t -> S.t -> bool

val strategy : G.t -> P.t -> S.t -> bool

val strategyA : G.t -> P.t -> bool * S.t