pub struct SavedTerm { /* private fields */ }
Expand description
A term that was created in an OwnedEnv
and saved for later use.
These are created by calling OwnedEnv::save()
. See that method’s documentation for an
example.
Implementations§
source§impl SavedTerm
impl SavedTerm
sourcepub fn load<'a>(&self, env: Env<'a>) -> Term<'a>
pub fn load<'a>(&self, env: Env<'a>) -> Term<'a>
Load this saved term back into its environment.
Panics
env
must be the Env
of a .run()
or .send()
call on the
OwnedEnv
where this term was saved, and the OwnedEnv
must not have
been cleared or dropped since then. Otherwise this method will panic.