A → total function from → truth values to truth values (a sequence of truth values).
See also: → truth; → function.