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