is_arb : term -> bool
STRUCTURE
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
HOL  Kananaskis-13