Cross Reference: sentence_and_symbol_with_same_name.casl
xref
: /
ontohub
/
spec
/
fixtures
/
ontologies
/
casl
/
sentence_and_symbol_with_same_name.casl
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
spec sp =
sort s
. forall x:s. x=x %(s1)%
then
sort s1
end