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