agda-unused-0.2.0: data/declaration/Private.agda

module Private where

private

  f
    : {A : Set}
    → A
    → A
  f x
    = x

  g
    : {A : Set}
    → A
    → A
  g x
    = x

  h
    : {A : Set}
    → A
    → A
  h x
    = f x

  _
    : {A : Set}
    → A
    → A
  _
    = λ x → x