Module implicit_infer

Functions

• check_explicit_predicates 🔒
  Check the explicit predicates declared on the type.
• check_inferred_predicates 🔒
  Check the inferred predicates declared on the type.
• infer_predicates 🔒
  Infer predicates for the items in the crate.
• insert_required_predicates_to_be_wf 🔒