list_mk_fun : hol_type list * hol_type -> hol_type
STRUCTURE
SYNOPSIS
Iteratively constructs function types.
DESCRIPTION
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
HOL  Kananaskis-14