Verified Commit 393afb03 authored by Camil Staps's avatar Camil Staps 🚀

Add @precondition documentation field for functions

parent dfdf84c9
......@@ -65,6 +65,7 @@ derive gDefault ModuleDoc
, throws :: ![Description] //* The exceptions it may throw (iTasks)
, properties :: ![Property] //* Properties of this function
, property_test_with :: ![PropertyVarInstantiation] //* With which types to test the properties
, preconditions :: ![String] //* Preconditions for the properties
}
instance docDescription FunctionDoc
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment