Module chalk_solve::clauses::builtin_traits::pointee

Functions

• add_pointee_program_clauses
  Add implicit impl for the Pointee trait for all types
• push_clauses 🔒
• push_for_last_field 🔒