Trait polyhorn_core::Builtin

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

Required methods

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

Loading content...

Implementors

Loading content...