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

module Lens where

open import Lens.Definition public
open import Lens.Operators public
open import Lens.Composition public
open import Lens.Pair public