Macro pocket_prover::path1_count
source · [−]macro_rules! path1_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),+ $(,)?), ($($y:ident),+ $(,)?)| $e:expr) => { ... };
}
Expand description
Path Semantical Logic: Counts the number of solutions of a variable argument boolean function.