Function true

tests/js/quint.js:21–24

(x)

    if (x.name !== name) throw new Error(`'${x}' does not have a name of ${name}`);
  },
  true(x)
  {
    if (x !== true) throw new Error(`'${x}' is not true`);
  },
  false(x)
  {
    if (x !== false) throw new Error(`'${x}' is not false`);