The status value of a unit that has not yet been typechecked
The status value of a unit that has not yet been typechecked
The status value of a unit that has not yet been loaded
The status value of a unit that has not yet been loaded
The status value of a unit that has been partially typechecked
The status value of a unit that has been partially typechecked