crisp-typeck-1.8.1
- crisp-typeck 1.8.1
- Permalink
- Docs.rs crate page
- MIT OR Apache-2.0
- 18 August 2026
- Links
- Homepage
- Repository
- crates.io
- Source
- Owners
- jose-compu
- Dependencies
- crisp-ast ^1.8.1 normal
  crisp-resolve ^1.8.1 normal
  thiserror ^2 normal
  criterion ^0.5 dev
  insta ^1 dev
  tempfile ^3 dev
- Versions
- 17.86% of the crate is documented
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

Skip to main content

All

crisp_typeck1.8.1

Crate Items

Structs
Enums
Functions

List of all items

Structs

InferredSig
NumericCoercion
RustExternSig
TypeChecker
TypedCrate

Enums

Ty
TypeError
TypeWarning

Functions

format_sig
format_ty
is_arith_bound
rust_import_returns_result
rust_op_bound
subst_named