    ------------------------------------------------------------------------
    -- 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-≡
      )