// C++ (ConstraintSolver.h:65-68): a hash functor over InstantiationSignature;
// `operator()` is implemented in ConstraintSolver.cpp as its own method node.
#[derive(Debug, Clone, Copy, Default)]
pub struct HashInstantiationSignature;
