mina_tree::proofs::transaction

Function lt_binary

Source 
fn lt_binary<F: FieldWitness>(xs: &[bool], ys: &[bool]) -> ExprBinary<Boolean>