sig
  val tc : bool Pervasives.ref
  val learnFromParties :
    ?guess:bool ->
    win0:Structure.structure list list ->
    win1:Structure.structure list list ->
    notwon:Structure.structure list list ->
    wrong:Structure.structure list list -> string
end