mina_tree::proofs::step::step_verifier

Function to_high_low

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