Type Definition sophia_term::MownTerm

type MownTerm<'a> = Term<MownStr<'a>>;

Convenient alias for a specialization of Term<T>.

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