Ex Contract v0.1.0 ExContract.Assert View Source
This is implementation module used by ExContract.Contract
for making calls that check for
requires, ensures, check, and fail conditions.
Link to this section Summary
Link to this section Functions
Link to this function
fail(env, msg)
View Source
fail(env :: any, msg :: String.t) :: nil | no_return