polyhorn-core 0.4.0

Core types used in Polyhorn.
Documentation 
1
2
3
4
5
6
7
8
9
10

use super::Platform;

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

    fn unmount(&mut self);
}