packagetest/** A class defining symbols and types of standard definitions */classDefinitions{traitLazyType{defcomplete():Unit}deff(vcs:List[Int]):Unit={valcompleter=newLazyType{defcomplete():Unit=for(i<-0untilvcs.lengthifvcs(i)!=0)f(vcs.updated(i,0))}}}