is_bool_case
boolSyntax.is_bool_case : term -> bool
Tests a case expression over bool.
If M has the form bool_case M1 M2 b, then is_bool_case M returns
true. Otherwise, it returns false.
Failure
Never fails.
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
is_bool_caseboolSyntax.is_bool_case : term -> bool
Tests a case expression over bool.
If M has the form bool_case M1 M2 b, then is_bool_case M returns
true. Otherwise, it returns false.
Never fails.