Projection Types

The properties the projection declares — the shape folding its boundary leaves it in, and the shape it is stored and read back as. These belong to the type; the values one stored instance holds are reached through an identifier on the identifiers tab.