Module aterm_container

Structs

• Protected
  A container of objects, typically either terms or objects containing terms, that are of trait Markable. These store ATermRef<’static> that are protected during garbage collection by being in the container itself.
• Protector
  This is a helper struct used by TermContainer to protected terms that are inserted into the container before the guard is dropped.

Traits

• Markable
  This trait should be used on all objects and containers related to storing unprotected terms.

Type Aliases

• Todo
  A type for the todo queue.