Constant UNFOLD_SUFFIX 

pub const UNFOLD_SUFFIX: &str = "_eq_def";

Lean’s unfoldThmSuffix (Lean/Meta/Eqns.lean:68), flattened.