[−][src]Type Definition varisat::clause::alloc::ClauseOffset
type ClauseOffset = u32;
Integer type used to store offsets into ClauseAlloc
's memory.
type ClauseOffset = u32;
Integer type used to store offsets into ClauseAlloc
's memory.