- normRule (r : NormRule) : BaseRuleSetMember
- unsafeRule (r : UnsafeRule) : BaseRuleSetMember
- safeRule (r : SafeRule) : BaseRuleSetMember
- unfoldRule (r : UnfoldRule) : BaseRuleSetMember
- normForwardRule (r₁ : ForwardRule) (r₂ : NormRule) : BaseRuleSetMember
- unsafeForwardRule (r₁ : ForwardRule) (r₂ : UnsafeRule) : BaseRuleSetMember
- safeForwardRule (r₁ : ForwardRule) (r₂ : SafeRule) : BaseRuleSetMember
Instances For
- base (m : BaseRuleSetMember) : GlobalRuleSetMember
- normSimpRule (e : NormSimpRule) : GlobalRuleSetMember
Instances For
- global (m : GlobalRuleSetMember) : LocalRuleSetMember
- localNormSimpRule (r : LocalNormSimpRule) : LocalRuleSetMember