[][src]Trait polyhorn_core::Container

pub trait Container<P: ?Sized> where
    P: Platform
{ pub fn mount(
        &mut self,
        container: &mut P::Container,
        environment: &mut P::Environment
    );
pub fn unmount(&mut self); }

Required methods

pub fn mount(
    &mut self,
    container: &mut P::Container,
    environment: &mut P::Environment
)
[src]

pub fn unmount(&mut self)[src]

Loading content...

Implementors

Loading content...