Tips.Rule.CompoundOperation.disjunction

Type used for or rules.

Declaration

case disjunction