A set of classes that contain various "declarative" information about Wyjec functions, that can be extracted from custom @wyjec.* Javadoc tags.