| Source File | Identifier index | Theory binding index |
|---|
signature mlFeature =
sig
include Abbrev
val fea_of_term : term -> string list
val fea_of_goal : goal -> string list
val feahash_of_term : term -> int list
val feahash_of_goal : goal -> int list
(* tfidf *)
val learn_tfidf : ('a * int list) list -> (int, real) Redblackmap.dict
end
| Source File | Identifier index | Theory binding index |
|---|