declare const CHOISE_LABEL_KEY_SEPARATOR = "_|_";
declare const GLOBAL_DECL = "global decl";
declare const SPECIAL_LABEL_FOR_EXTERNAL_VARIABLES = "___external_value___";

export { CHOISE_LABEL_KEY_SEPARATOR, GLOBAL_DECL, SPECIAL_LABEL_FOR_EXTERNAL_VARIABLES };