[][src]Trait polyhorn_core::Builtin

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

Required methods

fn instantiate(
    &self,
    parent: &mut P::Container,
    environment: &mut P::Environment
) -> P::Container

fn update(&self, container: &mut P::Container)

Loading content...

Implementors

Loading content...