cop-0.1.0
- cop 0.1.0
- Docs.rs crate page
- GPL-3.0-only
- Links
- Repository
- Crates.io
- Source
- Owners
- 01mf02
- Dependencies
- colosseum ^0.2 normal
  hashbrown ^0.9 normal
  log ^0.4 normal
  num-bigint ^0.3 normal
  num-traits ^0.2 normal
  tptp ^0.28 normal
- Versions
- 16.07% of the crate is documented
Go to latest version
Platform
Feature flags

Rust

☰

Module subst

Structs

Module cop::subst[−][src]

Structs

Ptr
Subst	Map from `usize` to `T` that can be efficiently restored to earlier states.