index
:
urweb
master
Debian dgit repo for package urweb
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
tests
/
table_sig.urs
blob: 40dde3c05cb8178c5b73ff11ba90bff954ce55fb (
plain
)
1
table t : { A : int }