--------------------------------------------------------------------------------
-- Copyright © 2011 National Institute of Aerospace / Galois, Inc.
--------------------------------------------------------------------------------

-- | Let expressions.

{-# LANGUAGE Safe #-}

module Copilot.Language.Operators.Label
  ( label
  ) where

import Copilot.Core (Typed)
import Copilot.Language.Stream (Stream (..))

--------------------------------------------------------------------------------

label :: (Typed a) => String -> Stream a -> Stream a
label :: String -> Stream a -> Stream a
label = String -> Stream a -> Stream a
forall a. Typed a => String -> Stream a -> Stream a
Label

--------------------------------------------------------------------------------