Introduction - If you have any usage issues, please Google them yourself
Using macros and advanced compilation technology to achieve high-level language similar to the conditional branch statement IF function. At the same time, the preparation of a program prepared to prove the correctness of macros. Requirements are as follows: (1). Iff conditions after the