You are correct; typed racket does not use turnstile.