pocket_prover
pub fn prop(a: bool) -> u64
Returns T if a is true, F otherwise. In logical terminology this corresponds to a proposition.
T
a
true
F