module JUtil : sig ... endmodule Iter : sig ... endmodule Iter2 : sig ... endmodule Wlist : sig ... endmodule JProgram : sig ... endmodule ClassDomain : sig ... endmodule JsrInline : sig ... endmodule JControlFlow : sig ... endmodule JPrintUtil : sig ... endmodule JPrintHtml : sig ... endmodule JPrintPlugin : sig ... endmodule ArgPlugin : sig ... endmodule JCodePP : sig ... endmodule Cmn : sig ... endmodule Bir : sig ... endmodule BirA3 : sig ... endmodule JBir : sig ... endmodule JBirPP : sig ... endmodule A3Bir : sig ... endmodule A3BirPP : sig ... endmodule Live_bir : sig ... endmodule Live_a3bir : sig ... endmodule JBirSSA : sig ... endmodule JBirSSAPP : sig ... endmodule A3BirSSA : sig ... endmodule A3BirSSAPP : sig ... endmodule Safe : sig ... endmodule ReachableMethods : sig ... endmodule JNativeStubs : sig ... endmodule JType : sig ... endmodule Nexir : sig ... endmodule ParserType : sig ... endmodule Parse_heap : sig ... endmodule Lex_heap : sig ... endmodule HeapParser : sig ... endmodule JCRA : sig ... endmodule JRTA : sig ... endmodule JRTAWithHeap : sig ... endmodule JRRTA : sig ... endmodule XTA : sig ... endmodule JCFAOptions : sig ... endmodule JCFADom : sig ... endmodule JCFAPrinter : sig ... endmodule JCFA : sig ... endmodule ReachDef : sig ... endmodule AvailableExpr : sig ... endmodule AvailableExprSSA : sig ... end