pure-borrow-0.0.0.0: src/Control/Monad/Borrow/Pure/Lifetime.hs

{-# LANGUAGE ExplicitNamespaces #-}

module Control.Monad.Borrow.Pure.Lifetime (
  type (/\),
  type (<=),
  type (>=),
  type Static,
  Lifetime,
) where

import Control.Monad.Borrow.Pure.Lifetime.Internal