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