{-# LANGUAGE DeriveDataTypeable #-} -- | -- Module : NXT.Interpretation -- Copyright : Alexander Thiemann -- License : BSD3 -- -- Maintainer : Alexander Thiemann -- Stability : experimental -- Portability : non-portable (GHC extensions) -- module NXT.Stdlib.Common where import NXT.Core import Data.Typeable wait :: V (V Integer -> V ()) wait = defExt "Wait"