Module display 

Diagnostic formatting for path-refinement types.

Functions

describe_backward_item 🔒

describe_forget_reason 🔒

describe_path_step 🔒

item_belongs_to_step 🔒

same_path_step 🔒