def sqrt(x)
  ...         
end

typesig("sqrt: (Numeric) -> Numeric")