pub fn is_prop(x: u64, a: u64, b: u64) -> u64
Defines a proposition relation of proposition x to potential proofs a and b.
x
a
b
