Welcome to icontract's documentation! introduction usage checking_types_at_runtime async recipes implementation_details known_issues benchmarks api development changelog Indices and tables genindex modindex search