Check op types for type defs. Seems to avoid possibility of making type of op too specific.
Check op types for type defs. Seems to avoid possibility of making
type of op too specific.


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

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