pub fn all_conditions(
ops: Vec<ValueName>,
ctx: &mut Context<'_>,
) -> (Vec<Statement>, ValueName)Expand description
Returns a name which is true if all of ops are true, along with helper
statements required for that computation. If ops is empt, a single true constant
is returned