1signature prob_uniformTools =
2sig
3
4  val PROB_UNIF_CONV : Term.term -> Thm.thm;
5  val PROB_UNIFORM_CUT_CONV : Term.term -> Thm.thm;
6
7end