(module mono_hash_pin_smoke
  (fn ord_to_int
    (type (fn-type (params (borrow (con prelude.Ordering))) (ret (own (con Int)))))
    (params o)
    (body (match o
      (case (pat-ctor LT) -1)
      (case (pat-ctor EQ) 0)
      (case (pat-ctor GT) 1))))
  (fn main
    (type (fn-type (params) (ret (own (con Unit))) (effects IO)))
    (params)
    (body (seq (app print (app eq 1 1)) (seq (app print (app eq true true)) (seq (app print (app eq "a" "a")) (seq (app print (app ord_to_int (app compare 1 2))) (seq (app print (app ord_to_int (app compare false true))) (app print (app ord_to_int (app compare "a" "b")))))))))))