Macro pocket_prover::prove
source · [−]macro_rules! 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),+ $(,)?| $e:expr) => { ... };
(&mut |($($x:ident),+ $(,)?), ($($y:ident),+ $(,)?)| $e:expr) => { ... };
}
Expand description
Returns true
if proposition is correct, false
otherwise.
Expands automatically to Path Semantical Logic when using tuples as arguments.