(module type-comparison mzscheme
  (require "type-rep.ss")
  
  (provide type-equal? tc-result-equal? type<? type-compare effects-equal?)
  
  
  
  )