Agda-2.3.2.2: test/interaction/Debug.agda

{-# OPTIONS -v5 #-}

module Debug where

postulate Foo : Set