Expand description

TypeFoldable implementations for MIR types