{-# OPTIONS --without-K --safe #-}

module Tools.List where

open import Agda.Builtin.List using (List; []; _∷_) public