Module type_system 

Enums

DataType

A resolved candela type. Attached to compiled artifacts (struct field types, dynamic-library / host function signatures) so the VM can marshal values.

TypeExpr

Functions

arg_types_specialize_equal

Equality for monomorphization and return-type cache keys.

can_reach

Check if the function src_fn can call target_fn

check_if_returns_void

collect_direct_fn_calls

Collect all the function calls in the given code

format_detailed

Renders a DataType with full struct/function detail for diagnostics.

param_type_matches

Whether an argument of type received satisfies a parameter declared as expected.

reset_inference_state

Clears inference bookkeeping left behind when a previous compilation on this thread was aborted by an error unwind (see errors::collect_diagnostic).

struct_field_type_matches

track_returns