D/old////
/liteLib.sig/1.3/Thu Dec 28 15:13:12 2000//
/liteLib.sml/1.3/Thu Dec 28 15:13:12 2000//
