// The global values that are not functions. `undefined` is a binding like any
// other: a global name refers to the prelude's export of that name (see
// prelude.js)

export const undefined = void 0;
export const NaN = 0 / 0;
export const Infinity = 1 / 0;