is_prod : hol_type -> bool
STRUCTURE
pairSyntax
LIBRARY
pair
SYNOPSIS
Tests a type to see if it is a product type.
DESCRIPTION
If
ty
is a type of the form
ty1 # ty2
, then
is_prod ty
returns
true
.
FAILURE
Never fails.
SEEALSO
dest_prod
,
mk_prod
HOL
Kananaskis-13