z3-0.2.0: Z3/Lang/Monad.hs-boot

module Z3.Lang.Monad
  ( Z3 )
  where

import Control.Monad.State ( StateT )

data Z3State

newtype Z3 a = Z3 (StateT Z3State IO a)