sig
  type c45_data = Oc45.IntOc45.data
  type c45_category = Oc45.IntOc45.category
  type c45_trainSet = Oc45.IntOc45.trainSet
  type randomForest
  val classify : randomForest -> c45_data -> c45_category
  val genRandomForest : int -> c45_trainSet -> randomForest
end