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