-
Pacak, André authored
Generate is_X for constructor X without arguments, is needed such that transformation is correct if error step is skipped
c7db4461
Generate is_X for constructor X without arguments, is needed such that transformation is correct if error step is skipped