collects/typed-scheme/types/comparison.rkt


1
2
3
4

#lang scheme/base
(require "../utils/utils.rkt")
(require (rep type-rep) (types utils))
(provide type-equal? tc-result-equal? type<? type-compare effects-equal?)