Slava Pestov f53fa196ac New must-infer word; \ foo must-infer asserts that foo's declared effect matches its inferred effect, put this in your unit tests		2007-12-26 20:54:38 -05:00
..
inference.factor	New must-infer word; \ foo must-infer asserts that foo's declared effect matches its inferred effect, put this in your unit tests	2007-12-26 20:54:38 -05:00