nova-typeck-0.3.2
- nova-typeck 0.3.2
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- 14 October 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- Sakeerin
- Dependencies
- indexmap ^2 normal
  nova-ast =0.3.2 normal
  nova-diagnostics =0.3.2 normal
  nova-hir =0.3.2 normal
  nova-resolver =0.3.2 normal
  rustc-hash ^1.1 normal
  thiserror ^1.0 normal
- Versions
- 68.97% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

check

nova_typeck0.3.2

Function check

pub fn check(file: &File, defs: &Definitions) -> CheckResult

Expand description

Type-check a parsed file against its resolved definitions.