You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
#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)])
|