evaluates the then-part and returns its result(s)
None
This function passes I/O-access rights to the then-part.
| std::if_not | can be used as a function or a procedure |
| std_types::true | the *type* of the boolean value **true** |
| std_types::false | the *type* of the boolean value **false** |
| std::if_not | can be used as a function or a procedure |