Crate fluid_attributes

source ·

Attribute Macros

The fact attribute. A fact is a simple concrete fact to be verified.
The theory attribute. A theory is a test more complex than a fact, that must be proven or inferred with multiple cases. Therefore, a theory must come with its multiple test cases.