Macro pocket_prover::path1_prove

macro_rules! path1_prove {
    (&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) => { ... };
}

Path Semantical Logic: Returns true if proposition is correct, false otherwise.