/** | |
* This package implements whole-program inference, an interprocedural inference that infers types | |
* and inserts them into a program. | |
* | |
* @checker_framework.manual #whole-program-inference Whole-program inference | |
*/ | |
package org.checkerframework.common.wholeprograminference; |