module Hint.Typecheck where

import Hint.Base (Interpreter)

typeChecks_unsandboxed :: String -> Interpreter Bool