Module disabled_exception

Module disabled_exception 

Source

Functionsยง

to_dafny