Might want to add support for lambda signatures, e.g.
sig ->{ |x| x > 1 }
def f(x)
x > 1 # always true
end
However, this might not be strictly necessary since pseudo-types could be used (or at least should be able to be used).
type :Gt1 do
x > 1
end
sig Gt1
def f(x)
x > 1 # always true
end
Might want to add support for lambda signatures, e.g.
However, this might not be strictly necessary since pseudo-types could be used (or at least should be able to be used).