[][src]Constant stdlib::DEBUG_MODULE_FILE_NAME

pub const DEBUG_MODULE_FILE_NAME: &str = "debug.move";

The file name of the debug module