----------------------------------------------------------------------
list_mk_fun                                               (boolSyntax)
----------------------------------------------------------------------
list_mk_fun : hol_type list * hol_type -> hol_type

SYNOPSIS
Iteratively constructs function types.

DESCRIBE
{list_mk_fun([ty1,...,tyn],ty)} returns {ty1 -> ( ... (tyn -> t)...)}.

FAILURE
Never fails.

EXAMPLE

- list_mk_fun ([alpha,bool],beta);
> val it = `:'a -> bool -> 'b` : hol_type




SEEALSO
boolSyntax.strip_fun, Type.mk_type, Type.-->.

----------------------------------------------------------------------