Trait ConstraintInEnvironment
chalk_engine::context
pub trait ConstraintInEnvironment<C: Context>: Clone + Debug + Eq + Hash + Ord { }