Agda-2.3.2.2: src/rts/RTN.hs

{-# OPTIONS -fglasgow-exts #-}

-- Generated by Alonzo

module RTN where
import RTS
name1 = "Nat"

data T1 a = C2
          | C3 a
d1 = ()
name2 = "zero"
name3 = "suc"