JsContracts-0.4: src/BrownPLT/JavaScript/Contracts/Interface.hs

module BrownPLT.JavaScript.Contracts.Interface
  ( module BrownPLT.JavaScript.Contracts.Types
  ) where

import BrownPLT.JavaScript.Contracts.Types