import SessionTypes.Core
import SessionTypes.GlobalType
import SessionTypes.LocalTypeR
import SessionTypes.LocalTypeDB
import SessionTypes.LocalTypeConv
import SessionTypes.LocalTypeRDBBridge
import SessionTypes.ContentIdentityPolicy
import SessionTypes.Participation
import SessionTypes.TypeContext

import SessionTypes.ObservableClosed

/-! # SessionTypes

Global and local session type definitions with de Bruijn indices and recursive binders.
-/
