Module flux_fhir_analysis::wf

Checks type well-formedness

Well-formedness checking assumes names are correctly bound which is guaranteed after desugaring.

Modules

• errors 🔒
• param_usage 🔒
  Code to check whether refinement parameters are used in allowed positions.
• sortck 🔒

Structs

• Wf 🔒

Functions

• check_fn_quals 🔒
• check_fn_spec 🔒
• check_invariants 🔒
• check_node 🔒
• check_qualifier 🔒
• resolve_params 🔒
  Check that all param sorts are fully resolved and save them in WfckResults
• visit_refine_params 🔒

Type Aliases

• Result 🔒