Package or class specification


Does Larch provide a way of proving classes or 
specifications.  I'm interested in using Larch 
to verify object oriented or inheritance issues 
of classes and packages.  Particularly the use 
of gerneric instansiations using templates or 
generic packages.  Any info is appreciated.
Thanks in advance.

Steve Zevan  zevans@cs.uofs.edu