# Functions
No description provided by the author
No description provided by the author
# Constants
No description provided by the author
No description provided by the author
# Structs
No description provided by the author
No description provided by the author
No description provided by the author
# Interfaces
No description provided by the author
Precondition defines a condition that has to be met before a Checker is even executed.