> ... It says SML/NJ sup****ts infix spec in signatures, which > allows them to be obtained via "open". (I've never tried using this.) A colleague here stated that he has used it in SML/NJ, successfully.