Term.SubtermRule

data StRhs

data CtxtStRule

rRuleToCtxtStRule

ctxtStRuleToRRule

Pretty Printing

prettyCtxtStRule