sig
  type term_weighing_method = SymbolCount | Depth
  val term_weight : Weight.term_weighing_method -> Term.term -> int
end