path: root/tests/table_sig.urs

table t : { A : int }