index
:
urweb
master
functional programming language for web programming
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
tests
/
table_sig.urs
blob: 40dde3c05cb8178c5b73ff11ba90bff954ce55fb (
plain
)
1
table t : { A : int }