cop-0.2.0
- cop 0.2.0
- Permalink
- Docs.rs crate page
- GPL-3.0-only
- Links
- Repository
- crates.io
- Source
- Owners
- 01mf02
- Dependencies
- colosseum ^0.2.2 normal
  hashbrown ^0.9.1 normal
  log ^0.4.17 normal
  num-bigint ^0.4.3 normal
  num-traits ^0.2.15 normal
  serde ^1.0.137 normal
  tptp ^0.31.1 normal
- Versions
- 100% of the crate is documented
Platform
Feature flags

Rust

Module role

Structs
Enums

Module cop::role

Expand description

Formula roles and mapping from roles to formulas.

Structs

RoleMap
Associates roles with objects of type F, typically formulas.

Enums

Role
Formula role.