[−][src]Trait polyhorn_core::Builtin
Required methods
fn instantiate(
&self,
parent: &mut P::Container,
environment: &mut P::Environment
) -> P::Container
&self,
parent: &mut P::Container,
environment: &mut P::Environment
) -> P::Container