RULE_theory

val RULE_theory: Int