> - Arbitrary (generate random values of arbitrary SML types; inspired > by the QuickCheck library by Koen Claessen and John Hughes), See http://contrapunctus.net/league/haques/qcheck/ - Gergely