arity : (string -> int)

SYNOPSIS
Returns the arity of a type operator.

DESCRIBE
arity "op" returns n if op is the name of an n-ary type operator (n can be 0), and otherwise fails.

FAILURE
arity st fails if st is not the name of a type constant or type operator.

SEEALSO  is_type

HOL  Kananaskis 0