Macro pocket_prover::count
source · [−]macro_rules! count {
(&mut |$x0:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident, $x3:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident, $x3:ident, $x4:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident, $x3:ident, $x4:ident, $x5:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident, $x3:ident, $x4:ident,
$x5:ident, $x6:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident, $x3:ident,
$x4:ident, $x5:ident, $x6:ident, $x7:ident $(,)?| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident, $x3:ident, $x4:ident,
$x5:ident, $x6:ident, $x7:ident, $x8:ident| $e:expr) => { ... };
(&mut |$x0:ident, $x1:ident, $x2:ident, $x3:ident, $x4:ident,
$x5:ident, $x6:ident, $x7:ident, $x8:ident, $x9:ident $(,)?| $e:expr) => { ... };
(&mut |$($x:ident),+ $(,)?| $e:expr) => { ... };
(&mut |($($x:ident),+ $(,)?), ($($y:ident),+ $(,)?)| $e:expr) => { ... };
}
Expand description
Counts the number of solutions of a variable argument boolean function.
Expands automatically to Path Semantical Logic when using tuples as arguments.