------------------------------------------------------------------------
-- The Agda standard library
--
-- This module is DEPRECATED, please use `Function.Strict` directly.
------------------------------------------------------------------------

{-# OPTIONS --cubical-compatible --safe #-}

module Strict where

{-# WARNING_ON_IMPORT
"Strict was deprecated in v1.8.
Use `Function.Strict instead (also re-exported by `Function`)."
#-}

open import Function.Strict public
  using
  ( force ; force-≡ ; force′ ; force′-≡
  ; seq   ; seq-≡
  )