Skip to main content

Module pretty

flux_middle::rty

Module pretty 

Source

Structs§

IdxFmt 🔒

Functions§

fmt_alias_ty 🔒
format_fn_root_binder 🔒
format_fn_root_binder_with 🔒
Like format_fn_root_binder but takes a closure to produce the body string, allowing the caller to format multiple pieces (e.g. return type, requires, ensures) together under the same binder context so that bound variables get the correct # decorator.