Function obligation_pattern 

pub fn obligation_pattern(ot: ObligationType) -> &'static str

Return a mathematical pattern description for the given obligation type.