Function leo_compiler::constraints::constraints::generate_constraints [−][src]
pub fn generate_constraints<'a, F: PrimeField, G: GroupType<F>, CS: ConstraintSystem<F>>(
cs: &mut CS,
program: &Program<'a>,
input: &Input
) -> Result<Output, CompilerError>