#lang typed/racket/base
(provide
check-equal?
check-true
check-false)
(require/typed rackunit
[check-equal? (Any Any -> Void)]
[check-true (Any -> Void)]
[check-false (Any -> Void)])