Constant check_type_wf

Source
pub const check_type_wf: DepKind;