-let left1 (x:e) = true;; (* Everyone left *)
-let saw1 (x:e) (y:e) = y < x;; (* Ann saw Bill and Cam, and Bill saw Cam *)
+let left1 (x : e) = true;; (* Everyone left *)
+let saw1 (y : e) (x : e) = x < y;; (* Ann saw Bill and Cam, and Bill saw Cam *)