HOL: Reference

is_arb

boolSyntax.is_arb : term -> bool

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

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

None known.

See also

boolSyntax.mk_arb, boolSyntax.dest_arb