defaultPropositionPrefix top-level constant

int const defaultPropositionPrefix

Implementation

const defaultPropositionPrefix = 0x03;