module Prelude.Erased where

data [erased]-is-only-for-printing : Set where
  [erased] : [erased]-is-only-for-printing