1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
\DOC is_type
\TYPE {is_type : hol_type -> bool}
\SYNOPSIS
Tests whether a type is an instance of a type constructor.
\DESCRIBE
{is_type ty} returns {true} if {ty} is a base type or constructed by an outer
type constructor, and {false} if it is a type variable.
\FAILURE
Never fails.
\EXAMPLE
{
# is_type `:bool`;;
val it : bool = true
# is_type `:bool->int`;;
val it : bool = true
# is_type `:Tyvar`;;
val it : bool = false
}
\SEEALSO
get_type_arity, is_vartype.
\ENDDOC
|
