Library for Standard ML