Read a machine integer as an integer - #26

Read a machine integer as an integer#26

daniel-larraz merged 1 commit into

kind2-mc:mainkind2-mc/kind2-java-api:mainfrom

daniel-larraz:read-machine-integer-typesdaniel-larraz/kind2-java-api:read-machine-integer-typesCopy head branch name to clipboard