use fromFunc to define union
authorHelmut Grohne <helmut@subdivi.de>
Fri, 27 Apr 2012 18:51:06 +0000 (20:51 +0200)
committerHelmut Grohne <helmut@subdivi.de>
Fri, 27 Apr 2012 18:51:06 +0000 (20:51 +0200)
commitcab5a60cefea9ca03dbdde0a4a33cec20aaeabf6
tree4376ae6dd79915af1d0d2e7e61c5431d77578b50
parent076752832dbb0989ea4a23a1edca0083db436892
use fromFunc to define union

Semantically this is no change, but reducing to standard interface seems
better.
FinMap.agda