Emit a benign dummy value for MLdummy (#14)#18

cedretaber merged 1 commit into

java_extractionproof-ninja/rocq:java_extractionfrom

feat/java-mldummyproof-ninja/rocq:feat/java-mldummyCopy head branch name to clipboard