Type Definition sophia_term::StaticTerm

type StaticTerm = RefTerm<'static>;

Convenient alias for a specialization of Term<T>.

See module documentation for more detail on when to use it.