Macro pm_hidden

macro_rules! pm_hidden {
    ($data:expr) => { ... };
    ($data:expr, $bf:expr) => { ... };
}

Creates a proof message that is hidden based on the number of parameters One means hidden and only used in this proof Two means hidden but can be used in other proofs