Types & classes — github.com/advancedresearch/pocket_prover

CodeHub MCPcopy Create free account

hub / github.com/advancedresearch/pocket_prover / types & classes

Types & classes9 in github.com/advancedresearch/pocket_prover

⨍ Functions 209◇ Types & classes 9

pocket_prover-derive/tests/lib.rs:14

InterfaceBaseSystem

Implemented by base logical systems. Auto impls the `ExtendRules` trait and therefore also the `Prove` trait.

src/lib.rs:1784

InterfaceConstruct

Used to construct logical systems.

src/lib.rs:2044

InterfaceCoreRules

Implemented by logical systems to define core rules.

src/lib.rs:1761

InterfaceEnumerable

Implemented by types to use with `all` and `any`.

src/lib.rs:1603

InterfaceExtendRules

Implemented by logical systems to extend existing ones.

src/lib.rs:1767

pocket_prover-derive/tests/lib.rs:8

InterfaceObservable

Implemented by observables.

Implemented by provable systems of logic. This trait is used by other crates in the PocketProver ecosystem named `pocket_prover-<name>`. A common pa

src/lib.rs:1675