Term.SubtermRule
data
StRhs
data
CtxtStRule
rRuleToCtxtStRule
ctxtStRuleToRRule
Pretty Printing
prettyCtxtStRule