annotate tests/table_sig.urs @ 1598:cdca9691434a

Merge
author Ron de Bruijn <rmbruijn@gmail.com>
date Thu, 17 Nov 2011 17:19:10 +0100
parents 1fb318c17546
children
rev   line source
adamc@706 1 table t : { A : int }