Module type_inspect 

Lightweight type-introspection helpers shared by parsing and codegen.

Enums

SeveralOkContainer 🔒

Container family for a several_ok parameter, returned by classify_several_ok_container.

Functions

classify_several_ok_container 🔒

Classify a several_ok parameter type into one of the four container families and extract its inner element type T.

first_type_argument 🔒

Returns the first generic type argument from a path segment.

is_sexp_type 🔒

Returns true if ty is syntactically SEXP.

nth_type_argument 🔒

Returns the n-th generic type argument from a path segment.

second_type_argument 🔒

Returns the second generic type argument from a path segment.