aihc-parser-1.0.0.2: test/Test/Fixtures/oracle/PatternSynonyms/pattern-synonyms-import-export-bundled-data.hs

{- ORACLE_TEST pass -}
{-# LANGUAGE PatternSynonyms #-}

module PatternSynonymsImportExportBundledData
  ( Nat (Zero, Succ),
  ) where

import PatternSynonymsSource (Nat (Zero, Succ))

fromNat Zero = 0
fromNat (Succ n) = 1 + fromNat n