funpow : int -> ('a -> 'a) -> 'a -> 'a
STRUCTURE
SYNOPSIS
Iterates a function a fixed number of times.
DESCRIPTION
funpow n f x applies f to x, n times, giving the result f (f ... (f x)...) where the number of f’s is n. If n is not positive, the result is x.
FAILURE
funpow n f x fails if any of the n applications of f fail.
EXAMPLE
Apply tl three times to a list:
   - funpow 3 tl [1,2,3,4,5];
   > [4, 5] : int list
Apply tl zero times:
   - funpow 0 tl [1,2,3,4,5];
   > [1; 2; 3; 4; 5] : int list
Apply tl six times to a list of only five elements:
   - funpow 6 tl [1,2,3,4,5];
   ! Uncaught exception:
   ! List.Empty

SEEALSO
HOL  Kananaskis-14