Function sesstype::project
[−]
[src]
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.