look at all the sorts in an op's info dfn, not just the one for the first decl
look at all the sorts in an op's info dfn,
not just the one for the first decl


git-svn-id: 9ecf60ce9baff443e30a0472d3fd222fcb8117cf@2344 7b97033b-253e-4a5c-9b07-e25f9089a9fd

KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware,KestrelInstitute/Specware