fact: Definition setMethods (e:t) (ms:list Method) : t := let (c, n,v,sv,sc,we,ssi,wsi,fs,mfs,_,f,a,ts) := e in Build_t c n v sv sc we ssi wsi fs mfs ms f a ts.
imports: JML(JMLProgramPlus) Coq(ZArith) JML(ZHelpers) JML(LogicHelpers) Coq(Bool) Coq(Sumbool) Coq(Ndec) JML(PosAux) JML(EqBoolAux) Coq(Relation_Operators) Coq(List) JML(ListFunctions) JML(ListHelpers) JML(OptionHelpers)