133965Sjdpsignature prob_canonTools =
233965Sjdpsig
333965Sjdp
433965Sjdp   val prob_canon_ss : simpLib.simpset
533965Sjdp
633965Sjdpend