Term type

Tipo di Termine

type Term = string