/**
 * 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;