Crate crisp_typeck 

HM-style type inference and constraint solving (spec §3.4).

Structs

InferredSig

TypeChecker

TypedCrate

Enums

Ty

TypeError

Functions

format_sig

format_ty

is_arith_bound

Prelude arithmetic traits inferred from + - * / (spec §15.4).

rust_import_returns_result

Whether a known rust = true import returns Rust Result and should lower via Crisp ? / ambient errors (spec §14.2) instead of panic .expect.

rust_op_bound

Prelude operator trait → std::ops bound (spec §15.4).