mk_arb : hol_type -> term
STRUCTURE
SYNOPSIS
Creates a type instance of the ARB constant.
LIBRARY
DESCRIPTION
For any HOL type ty, mk_arb ty creates a type instance of the ARB constant.
FAILURE
Never fails.
COMMENTS
ARB is a constant of type 'a. It is sometimes used for creating pseudo-partial functions.
SEEALSO
HOL  Trindemossen-1