Constant check_mod_type_wf

pub const check_mod_type_wf: &str = "check_mod_type_wf";