Function pocket_prover::prop

pub fn prop(a: bool) -> u64

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