specl-types-0.1.0
- specl-types 0.1.0
- Permalink
- Docs.rs crate page
- AGPL-3.0-or-later
- Links
- Repository
- crates.io
- Source
- Owners
- danwt
- Dependencies
- specl-syntax ^0.1.0 normal
  thiserror ^1 normal
  proptest ^1 dev
- Versions
- 59.2% of the crate is documented
Platform
Feature flags

docs.rs

Rust

Skip to main content

check_module

specl_types0.1.0

In specl_types::checker

specl_types::checker

Function check_module

pub fn check_module(module: &Module) -> TypeResult<TypeEnv>

Expand description

Type check a module.