pub type ConstPropositionsPtr = *const Propositions;