Function pocket_prover::prop

source · [−]
pub fn prop(a: bool) -> u64
Expand description

Returns T if a is true, F otherwise. In logical terminology this corresponds to a proposition.