is_arb : term -> bool

SYNOPSIS
Tests a term to see if it's an instance of ARB.

LIBRARY
boolSyntax

DESCRIBE
Returns true if and only if M has the form ARB.

USES
None known.

SEEALSO  mk_arb,   dest_arb

HOL  Kananaskis 0