is_prod : hol_type -> bool
STRUCTURE
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
HOL  Kananaskis-13