<br />
<b>Deprecated</b>:  The each() function is deprecated. This message will be suppressed on further calls in <b>/home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php</b> on line <b>456</b><br />
(* ========================================================================= *)
(* Some trivial ML code illustrating the BHK interpretation.                 *)
(*                                                                           *)
(* Copyright (c) 2003, John Harrison. (See "LICENSE.txt" for details.)       *)
(* ========================================================================= *)

type ('a,'b)sum = Left of 'a | Right of 'b;;

(* ------------------------------------------------------------------------- *)
(* Some canonical proofs.                                                    *)
(* ------------------------------------------------------------------------- *)

let i = fun x -> x;;

let k = fun x y -> x;;

let s = fun f g x -> (f x) (g x);;

START_INTERACTIVE;;
s k k;;
END_INTERACTIVE;;

(* ------------------------------------------------------------------------- *)
(* However CAML can create programs of other types.                          *)
(* ------------------------------------------------------------------------- *)

let rec f x = f x;;