module Chessrules:sig..end
val f : int * int -> char * charval r : (Definitions.Ensemble.elt -> char * char) ->
Definitions.Ensemble.elt -> Definitions.Ensemble.elt -> boolval b : (Definitions.Ensemble.elt -> char * char) ->
Definitions.Ensemble.elt -> Definitions.Ensemble.elt -> boolval q : (Definitions.Ensemble.elt -> char * char) ->
Definitions.Ensemble.elt -> Definitions.Ensemble.elt -> boolval voisK : int -> int -> Definitions.Ensemble.t