Ex Contract v0.1.2 ExContract.EnsuresException exception View Source
Custom exception raised by ExContract.ensures/1
macro.
Link to this section Summary
Functions
Callback implementation for Exception.exception/1
Callback implementation for Exception.message/1
Link to this section Types
Link to this section Functions
Callback implementation for Exception.exception/1
.
Callback implementation for Exception.message/1
.