Struct Project 

pub struct Project {
    pub program: Program,
    pub solution: Solution,
    pub interface: Interface,
}

A checked, linked project, before it is sliced.

Separate from compile_project because publishing an interface and typechecking a library are things a module can do without being an application. Only slicing needs a merge point, a durable fold and a page — and a policy module that has none of those is not broken, it is a policy module.

Fields

program: Program

solution: Solution

The root module’s placement, for beck explain place.

interface: Interface

The root module’s published contract.