Module chalk_engine::context

source ·
Expand description

Defines traits used to embed the chalk-engine in another crate.

chalk and rustc both define types which implement the traits in this module. This allows each user of chalk-engine to define their own DomainGoal type, add arena lifetime parameters, and more. See [Context] trait for a list of types.