Jump To 🏠 dk dkcoder-libraries(7) dkcoder-macros(7) Table of Contents Tr1Num_Stdint Library Tr1Num_Stdint Tr1Num_Stdint Stdint Standard integer types Sourcemodule Stdint : sig ... end