Constant MINIR_WORKSPACE_CLASS 

const MINIR_WORKSPACE_CLASS: &str = "miniR.workspace";