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
/
equiv.ur
blob: 19ac18d4d77beef5d8e2253d05a177e8cc5763ac (
plain
)
1
2
3
type t1 = {A : int, B : float} type t2 = {B : float, A : int} val e1 : t1 -> t2 = fn x => x