Mercurial > meta

comparison record.urs @ 12:a6730c3cfea7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Record.equal
author Adam Chlipala <adam@chlipala.net>
date Tue, 08 Feb 2011 16:52:41 -0500
parents 67b33be5d56a
children f55f66c6fdee
comparison
equal deleted inserted replaced
11:67b33be5d56a 12:a6730c3cfea7
1 val numFields : r ::: {Type} -> folder r -> $r -> int 1 val numFields : r ::: {Type} -> folder r -> $r -> int
2 2
3 val mem : a ::: Type -> ns ::: {Unit} -> eq a -> folder ns -> a -> $(mapU a ns) -> bool 3 val mem : a ::: Type -> ns ::: {Unit} -> eq a -> folder ns -> a -> $(mapU a ns) -> bool
4 (* Is a value found in a record? *) 4 (* Is a value found in a record? *)
5
6 val equal : ts ::: {Type} -> $(map eq ts) -> folder ts -> $ts -> $ts -> bool
7 (* Are two records equal? *)