Macro pocket_prover::count

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) => { ... };
}

Counts the number of solutions of a variable argument boolean function.

Expands automatically to Path Semantical Logic when using tuples as arguments.