Project Example

This example illustrates a transformation operator informally.

Operator

text PR project

Intuition

A project transformation derives a representation from a source referent without modifying the source.

The representation may be partial or a selected form.

Formal authority

The authoritative operator definition is in:

text SE/Transformation/Domain/Operator/Codes.lean SE/Transformation/Domain/Operator/Labels.lean SE/Transformation/Domain/Operator/Semantics.lean

The reference mirror is in: reference/transformation-operators.toml.

Rule

Project describes selected representation.