Crate flux_infer 

Modules

evars 🔒

fixpoint_encoding

Encoding of the refinement tree into a fixpoint constraint.

fixpoint_qualifiers

fn_subtyping

Subtyping between function signatures.

infer

lean_encoding

lean_format

projections

refine_tree

suggestions

wkvars