signature prob_pseudoTools =
sig

  val PROB_PSEUDO_SHD_CONV : Term.term -> Thm.thm;
  val PROB_PSEUDO_STL_CONV : Term.term -> Thm.thm;

end