/**
 * Externs for ease.js
 */