lex-types-0.11.57
Platform
- x86_64-unknown-linux-gnu
Feature flags

docs.rs

Rust

lex-types 0.11.57

Type system + effect inference for Lex.

Crate
Source
Builds
Feature flags

..
all_errors_566.rs
check.rs
check_program_with_modules_930.rs
dep_types_930.rs
effect_parameterization.rs
effect_row_polymorphism.rs
effect_soundness.rs
grant_levels_belong_to_dimensions.rs
match_exhaustiveness_766.rs
parse_site_node_ids_777.rs
record_coercion.rs
record_pattern_nominal.rs
record_spreads.rs
refinement_types.rs
sqlparam_constructors_669.rs
stdlib_spec_778.rs
trust_lattice.rs