CommonRules

object CommonRules: Any

Fields

Name	Description
`val wrappers: Sequence><RuleWrapper<ExecutionContext>>`
`val theory: Theory`

Currently 0.20.4-dev03+7d9c6c67. Created with Orchid and Orchid Editorial Theme.