formality-core-0.1.0
- formality-core 0.1.0
- Docs.rs crate page
- MIT OR Apache-2.0
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- nikomatsakis
- github:rust-lang:types
- Dependencies
- anyhow ^1.0.75 normal
  
  contracts ^0.6.3 normal
  
  env_logger ^0.10.0 normal
  
  formality-macros ^0.1.0 normal
  
  lazy_static ^1.4.0 normal
  
  stacker ^0.1.15 normal
  
  tracing ^0.1 normal
  
  tracing-subscriber ^0.3 normal
  
  tracing-tree ^0.2 normal
  
  expect-test ^1.4.1 dev
- Versions
- 59.06% of the crate is documented
Go to latest version
Platform
- i686-unknown-linux-gnu
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

formality_core0.1.0

Module term

Traits

In crate formality_core

Module formality_core::term

Traits

CoreTerm