Function sesstype::project

pub fn project(global_type: &Box<G>, role: &Rc<Role>) -> Option<Box<S>>

Converts a global::Type into a local::Type.

This implements the projection G↾q defined in Definition A.1.