is_bool_case : term -> bool
STRUCTURE
boolSyntax
SYNOPSIS
Tests a case expression over
bool
.
DESCRIPTION
If
M
has the form
bool_case M1 M2 b
, then
is_bool_case M
returns
true
. Otherwise, it returns
false
.
FAILURE
Never fails.
SEEALSO
mk_bool_case
,
dest_bool_case
HOL
Trindemossen-1