Skip to main content

pulse_error

Attribute Macro pulse_error 

Source
#[pulse_error]
Expand description

Derives pulse_error and emits canonical PSL representing error types.