Functions — github.com/advancedresearch/pocket_prover

CodeHub MCPcopy Create free account

hub / github.com/advancedresearch/pocket_prover / functions

Functions209 in github.com/advancedresearch/pocket_prover

⨍ Functions 209◇ Types & classes 9

Ignores all 4 arguments, returning `true` for all inputs.

src/lib.rs:1351

Ignores all 5 arguments, returning `true` for all inputs.

src/lib.rs:1353

Ignores all 6 arguments, returning `true` for all inputs.

src/lib.rs:1355

Ignores all 7 arguments, returning `true` for all inputs.

src/lib.rs:1357

Ignores all 8 arguments, returning `true` for all inputs.

src/lib.rs:1359

Ignores all 9 arguments, returning `true` for all inputs.

src/lib.rs:1361

Assumes univalence axiom for some homotopy level.

(H: u64, O: u64, a: u64, b: u64, c: u64)

examples/molecule.rs:41

An XOR relation of variable number of arguments.

src/lib.rs:1520

← previous201–209 of 209, ranked by callers