-λT.λo1,o2:option T.λf:T → T → bool.
- match o1 with
- [ None ⇒ match o2 with [ None ⇒ true | Some _ ⇒ false ]
- | Some x1 ⇒ match o2 with [ None ⇒ false | Some x2 ⇒ f x1 x2 ]
+λT.λop1,op2:option T.λf:T → T → bool.
+ match op1 with
+ [ None ⇒ match op2 with [ None ⇒ true | Some _ ⇒ false ]
+ | Some x1 ⇒ match op2 with [ None ⇒ false | Some x2 ⇒ f x1 x2 ]