Cross Reference: test2.casl
xref: /ontohub/spec/fixtures/ontologies/casl/test2.casl
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
test2.casl revision 38eb8e414b6c73efa6bcf81760625385094b757b
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagherspec sp =
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagher sort s
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagher op f:s->s
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagher . forall x:s . f(x) = x
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagherthen
2ea6196484055397cc4bc011c5960f790431fa9dStephen Gallagher . exists x:s . f(x) = x
2ea6196484055397cc4bc011c5960f790431fa9dStephen Gallagherwith s |-> s
2ea6196484055397cc4bc011c5960f790431fa9dStephen Gallagherend
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagher
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagherspec sp1 =
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagher sp hide f
52261fe16203dec6e6f69177c6d0a810b47d073fStephen Gallagherend
45db68ae27147955a4be4c2c772041824c0dc00fStephen Gallagher

Indexes created Tue Jul 24 14:28:13 CEST 2018