to_high_low

mina_tree::proofs::step::step_verifier

Function to_high_low 

Source 
fn to_high_low(f: Fq) -> (Fp, Boolean)