sig
  type 'a knowledge
  val learn : 'a Types.example list -> 'a Bayes.knowledge list
  val evaluate : 'a Bayes.knowledge list -> Types.attribute array -> 'a
  val print_knowledge : ('a -> 'b) -> 'a Bayes.knowledge -> unit
end