Type: ExceptionKind GraceDocs
ExceptionKind = prelude.Pattern & type { ...added methods below... }

Added methods

Method signature Return type
parent ExceptionKind
raise( message: String) Done
refine( name: String) ExceptionKind