formality-core-0.1.1
- formality-core 0.1.1
- Permalink
- 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
- 52.29% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Module judgment

formality_core0.1.1

Module judgment

Module Items

Type Aliases

In crate formality_core

Module judgment

Type Aliases§

JudgmentStack