65fea56f17cd614bc8908264df980a62e1931468vboxsynclogic HasCASL

65fea56f17cd614bc8908264df980a62e1931468vboxsync

65fea56f17cd614bc8908264df980a62e1931468vboxsyncspec test =

65fea56f17cd614bc8908264df980a62e1931468vboxsynctype Real

65fea56f17cd614bc8908264df980a62e1931468vboxsync

65fea56f17cd614bc8908264df980a62e1931468vboxsyncop 0 : Real

65fea56f17cd614bc8908264df980a62e1931468vboxsync

65fea56f17cd614bc8908264df980a62e1931468vboxsyncfree types

65fea56f17cd614bc8908264df980a62e1931468vboxsync SWPoint ::= SWPoint(x:Real;y:Real;z:Real);

65fea56f17cd614bc8908264df980a62e1931468vboxsync

65fea56f17cd614bc8908264df980a62e1931468vboxsyncop p1:SWPoint=SWPoint(0,0,0)

65fea56f17cd614bc8908264df980a62e1931468vboxsync