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 term

Enums
Traits
Type Definitions

Module cop::term[−][src]

Enums

Traits

Type Definitions

Args
Arity
SArgs
STerm