const { σ } = require('../src/internals');
const { print } = require('../src/printer');

describe('A printer', () => {
  it('prints symbols', () => {
    expect(print(σ('x'))).toEqual('x');
    expect(print(σ('y'))).toEqual('y');
  });
});