index
:
open-axiom
master
new-build
open scientific computation system
Igor Pashev
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
src
/
testsuite
/
interpreter
/
aw-412.input
blob: 4981aff6751a4a0c2d0a2ebfe44c01d24fd837ba (
plain
)
1
2
3
f(x: Domain): Integer == x has IntegralDomain => 1 0
