Test.ml 336 Bytes
Newer Older
charguer's avatar
charguer committed
1 2 3 4 5 6 7 8 9 10 11 12
type 'a compare_poly_type = 
  | CompCst 
  | CompPoly of 'a
  | CompTuple of 'a * bool
  | CompFunc of ('a -> 'a)

let compare_poly_custom (x : 'a compare_poly_type) (y : int compare_poly_type) =
  let _r1 = (x = CompCst) in
  let _r2 = (y = CompPoly 3) in
  let _r3 = (y = CompPoly 3) in
  let _r4 = (y = CompTuple (3, true)) in
  ()