list_mk_fun : hol_type list * hol_type -> hol_type
STRUCTURE
boolSyntax
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
strip_fun, mk_type, -->
HOL  Kananaskis-13