fix(state-transition): reject malformed justification state with typed errors (leanSpec #1178)#502

MegaRedHand merged 1 commit into

mainlambdaclass/ethlambda:mainfrom

fix/malformed-justification-statelambdaclass/ethlambda:fix/malformed-justification-stateCopy head branch name to clipboard