[][src]Constant CCODE::WT_EXECUTEINPERSISTENTTHREAD

pub const WT_EXECUTEINPERSISTENTTHREAD: u32 = 128;