src/testsuite/compiler/aw-420.spad


1
2
3
4
5
6
7
8

)abbrev domain MOO Moo
Moo(): Public == Private where
  Public ==> with
    coerce: Tuple Type -> %
  Private ==> add
    Rep == Tuple Type
    coerce(x: Tuple Type) == per x