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?)