Redspot error example This example shows that the Error enum types, while present in the ABI, are not parsed by Redspot.