is_arb : term -> bool
STRUCTURE
boolSyntax
SYNOPSIS
Tests a term to see if it’s an instance of
ARB
.
LIBRARY
boolSyntax
DESCRIPTION
Returns
true
if and only if
M
has the form
ARB
.
USES
None known.
SEEALSO
mk_arb
,
dest_arb
HOL
Kananaskis-13