Objective Caml version 3.11.1

# - : int -> int = <fun>
# let double = function x -> x * x ;;
val double : int -> int = <fun>
# double 2 ;;
- : int = 4
# [double;double];;
- : (int -> int) list = [<fun>; <fun>]
# val f : int * int -> int = <fun>
# f (3,4);;
- : int = 7
# val f2 : int * int -> int = <fun>
# f2 (3,4);;
- : int = 7
# val f3 : int * int -> int = <fun>
# f3 (3,4) ;;
- : int = 7
# val c : int -> int -> int = <fun>
#   c 3 4;;
- : int = 7
# c 3;;
- : int -> int = <fun>
# let d = c 3;;
val d : int -> int = <fun>
# d 4 ;;
- : int = 7
# val compose : ('a -> 'b) -> ('c -> 'a) -> 'c -> 'b = <fun>
# compose double double  ;;
- : int -> int = <fun>
# let doubledouble x = compose double double x ;;
val doubledouble : int -> int = <fun>
# double 2 ;;
- : int = 4
# doubledouble 2 ;;
- : int = 16
#