Searched defs:RLEVEL (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/src/
H A Dsepia.h1372 #define RLEVEL g_emu_.trace_data.redo_level macro

Completed in 48 milliseconds