module.exports = require('@lumino/properties');