Synopsis the m3 constructor is identified by the name of a project encoded as a Location and has annotations for each kind of fact extracted from a project.
Types
data M3 = m3(loc id);
Usage
import analysis::m3::Core;