@slots x::T

[jariji]

I can say

@slots x @rule log(exp(x::Real)) --> x

but I wonder if the constraint should go with the slot declaration

@slots x::Real @rule log(exp(x)) --> x

This would be easier to read.

[0x0f0f0f]

cool idea!

[jariji]

This too would be much easier to read with just @theory p::Bool q::Bool begin instead of having to rewrite ::Bool at each location.

@theory p q begin
  (p::Bool == q::Bool) => (p == q)
  (p::Bool || q::Bool) => (p || q)
  (p::Bool ⟹ q::Bool)  => ((p || q) == q)
  (p::Bool && q::Bool) => (p && q)
  !(p::Bool)           => (!p)
end

[0x0f0f0f]

Adding it to the list for 3.0