modus-lib-0.1.4
- modus-lib 0.1.4
- Docs.rs crate page
- AGPL-3.0
- Links
- Homepage
- Documentation
- Repository
- crates.io
- Source
- Owners
- micromaomao
- mechtaev
- Dependencies
- codespan-reporting ^0.11.1 normal
  
  colored ^2 normal
  
  dot ^0.1.4 normal
  
  fp-core ^0.1.9 normal
  
  lazy_static ^1.4.0 normal
  
  nom ^7 normal
  
  nom-supreme ^0.6.0 normal
  
  nom_locate ^4.0.0 normal
  
  petgraph ^0.6.0 normal
  
  ptree ^0.4 normal
  
  rand ^0.8 normal
  
  semver ^1.0 normal
  
  serde ^1.0 normal
  
  thiserror ^1.0 normal
  
  serial_test ^0.6 dev
- Versions
- 21% of the crate is documented
Go to latest version
Platform
Feature flags

docs.rs

Rust

Rename

Required Methods

rename

Implementors

In modus_lib::unification

Trait modus_lib::unification::Rename

source · [−]

pub trait Rename<T> {
    fn rename(&self) -> T;
}

Required methods

fn rename(&self) -> T

Implementors

impl Rename<IRTerm> for IRTerm