Agda-2.3.2.2: test/fail/MissingTypeSignatureInMutual.agda

module MissingTypeSignatureInMutual where

data Nat : Set where
  zero : Nat
  suc  : Nat -> Nat

mutual
  pred zero    = zero
  pred (suc n) = n