a.fs

// 擬似コードです

type CmpResult = 
  True of Int | False
  
let > (x : CmpResult, y : CmpResult) : CmpResult =
  match (x, y) with
    (True m, True n) when Int.> m n -> CmpResult.True m 
  | (_, _) -> CmpResult.False
  
let < (x : CmpResult, y : CmpResult) : CmpResult =
  match (x, y) with
    (True m, True n) when Int.< m n -> CmpResult.True n
  | (_, _) -> CmpResult.False
  
let == (x : CmpResult, y : CmpResult) : CmpResult =
  match (x, y) with
    (True m, True n) when Int.== m n -> CmpResult.True m
  | (_, _) -> CmpResult.False
  
let != (x : CmpResult, y : CmpResult) : CmpResult =
  match (x, y) with
    (True m, True n) when Int.!= m n -> CmpResult.True m
  | (_, _) -> CmpResult.False

(1 < 2) < 3 // CmpResult.True 3
(2 < 1) < 3 // CmpResult.False
(1 == 1) == 1 // CmpResult.True 1
(1 != 2) != 3 // CmpResult.True 1
(1 == 2) != 3 // CmpResult.False