fact: Definition Exception_e : Param := let javaLangException : StaticType := ReferenceType (TypeDefType (PKG_lang_, C_Exception_) any) in PARAM.Build_t (PARAMSIGNATURE.Build_t Exception_e_name javaLangException) false false.
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)