view final_pre/src/DataSegment.agda @ 7:28f900230c26

add final_pre
author ryokka
date Mon, 19 Feb 2018 23:32:24 +0900
parents
children
line wrap: on
line source

record ds0 : Set where
  field
    a : Int
    b : Int

record ds1 : Set where
  field
    c : Int