spade-typeinference-0.15.0
- spade-typeinference 0.15.0
- Permalink
- Docs.rs crate page
- EUPL-1.2
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- TheZoq2
- Dependencies
- colored ^3.0 normal
  fastrand ^2.3.0 normal
  itertools ^0.14 normal
  num ^0.4.0 normal
  serde ^1.0.136 normal
  spade-common ^0.15.0 normal
  spade-diagnostics ^0.15.0 normal
  spade-hir ^0.15.0 normal
  spade-macros ^0.15.0 normal
  spade-types ^0.15.0 normal
  tracing ^0.1.34 normal
  assert_matches ^1.5 dev
- Versions
- 13.86% of the crate is documented
Platform
Feature flags

docs.rs

Rust

t_bool

spade_typeinference0.15.0

In spade_typeinference::fixed_types

spade_typeinference::fixed_types

Function t_bool

pub fn t_bool(symtab: &SymbolTable) -> KnownType