MkBool$

Since 3.1

This is a shortcut for MkBoolean$