SML/NJ Extension of