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

import BrownPLT.JavaScript.Contracts.Types