Constant type_op_prove_predicate 

pub const type_op_prove_predicate: &str = "type_op_prove_predicate";