sig
type t = { name : string; f : FeatureVector.lits -> int; }
val name : FeatureVector.Make.Feature.t -> string
val compute : FeatureVector.Make.Feature.t -> FeatureVector.lits -> int
val pp : t CCFormat.printer
val to_string : t -> string
val sum_of_depths : FeatureVector.Make.Feature.t
val size_plus : FeatureVector.Make.Feature.t
val size_minus : FeatureVector.Make.Feature.t
val count_symb_plus : ID.t -> FeatureVector.Make.Feature.t
val count_symb_minus : ID.t -> FeatureVector.Make.Feature.t
val max_depth_plus : ID.t -> FeatureVector.Make.Feature.t
val max_depth_minus : ID.t -> FeatureVector.Make.Feature.t
end