[][src]Trait polyhorn_core::UseContext

pub trait UseContext {
    pub fn use_context<T>(&mut self) -> Option<Context<T>>
    where
        T: 'static
; }

Required methods

pub fn use_context<T>(&mut self) -> Option<Context<T>> where
    T: 'static, 
[src]

Loading content...

Implementors

impl<'a, P: ?Sized> UseContext for Manager<'a, P> where
    P: Platform
[src]

Loading content...