1234567891011121314151617-------------------------------------------------------------------------- The Agda standard library---- Functions------------------------------------------------------------------------ {-# OPTIONS --cubical-compatible --safe #-} module Function where open import Function.Core publicopen import Function.Base publicopen import Function.Strict publicopen import Function.Definitions publicopen import Function.Structures publicopen import Function.Structures.Biased publicopen import Function.Bundles public