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

module Function.Injective where

open import Function.Injective.Base public