/**
 * Generated by tsnapi — public API snapshot of `@devframes/plugin-code-server`
 */
// #region Functions
export function createCodeServerDevframe(_) {}
export function getCookieSessionName(_) {}
// #endregion

// #region Variables
export var DEFAULT_CODE_SERVER_PORT /* const */
export var DEFAULT_PORT /* const */
export var PLUGIN_ID /* const */
export var STATE_KEY /* const */
// #endregion

// #region Default Export
var _default /* const */
export default _default
// #endregion