liquid :: [String] -> IO b #

runLiquid :: MbEnv -> Config -> IO (ExitCode, MbEnv) #

type MbEnv = Maybe HscEnv #

liquidConstraints :: Config -> IO (Either [CGInfo] ExitCode) #

checkTargetInfo :: TargetInfo -> IO (Output Doc) #