[−][src]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.
type StaticTerm = RefTerm<'static>;
Convenient alias for a specialization of Term<T>
.
See module documentation for more detail on when to use it.