Module type_env 

Modules

place_ty 🔒

pretty 🔒

Structs

BasicBlockEnv

BasicBlockEnvData 🔒

BasicBlockEnvShape

TypeEnv

TypeEnvBind 🔒

TypeEnvTrace

A very explicit representation of TypeEnv for debugging/tracing/serialization ONLY.

Enums

LocInfo 🔒

PtrToRefBound 🔒

Functions

loc_info 🔒

loc_name 🔒

loc_span 🔒