getTerm

fun getTerm(): Term

Returns the pattern term.