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