import SessionTypes.LocalTypeR.Core
import SessionTypes.LocalTypeR.Environments
import SessionTypes.LocalTypeR.Unfolding
import SessionTypes.LocalTypeR.Substitution
import SessionTypes.LocalTypeR.WellFormedness
import SessionTypes.LocalTypeR.AsyncSubtype

/-! # SessionTypes.LocalTypeR

Recursive local types for the V2 development.

## Expose

The following definitions form the semantic interface for proofs:

- `LocalTypeR`
- `LocalTypeR.dual`
- `LocalTypeR.unfold`
- `LocalTypeR.freeVars`
- `LocalTypeR.substitute`
-/
