A Javascript library for automatically checking properties of functions.