function f(x)
@require x > 0
end
From HTTP.jl/src/debug.jl
@require precondition [message] [variables...]
Throw ArgumentError
if precondition
is false.
Include the value of variables...
in the error message.
@ensure postcondition [message]
Throw AssertionError
if postcondition
is false.