def sqrt(x)
  ...         
end

type Math, :sqrt, '(Numeric x {{ x >= 0 }}) -> Numeric'  