polyhorn-core 0.4.0

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

use super::Platform;

pub trait Builtin<P>: Send + Sync
where
    P: Platform + ?Sized,
{
    fn instantiate(
        &self,
        parent: &mut P::Container,
        environment: &mut P::Environment,
    ) -> P::Container;

    fn update(&self, container: &mut P::Container, environment: &mut P::Environment);
}