Constant check_mod_type_wf

pub const check_mod_type_wf: DepKind;