Module Stdint

Contents

Instructions: Use this module in your project

In the IDE (CLion, Visual Studio Code, Xcode, etc.) you use for your DkSDK project:

  1. Add the following to your project's dependencies/CMakeLists.txt:

    Copy
    DkSDKProject_DeclareAvailable(stdint
        CONSTRAINT "= 0.7.2"
        FINDLIBS stdint)
    DkSDKProject_MakeAvailable(stdint)
  2. Add the Findlib::stdint library to any desired targets in src/*/CMakeLists.txt:

    Copy
    target_link_libraries(YourPackage_YourLibraryName
         # ... existing libraries, if any ...
         Findlib::stdint)
  3. Click your IDE's Build button

Not using DkSDK?

FIRST, do one or all of the following:

  1. Run:

    Copy
    opam install stdint.0.7.2
  2. Edit your dune-project and add:

    Copy
    (package
      (name YourExistingPackage)
      (depends
      ; ... existing dependenices ...
      (stdint (>= 0.7.2))))

    Then run:

    Copy
    dune build *.opam # if this fails, run: dune build
  3. Edit your <package>.opam file and add:

    Copy
    depends: [
      # ... existing dependencies ...
      "stdint" {>= "0.7.2"}
    ]

    Then run:

    Copy
    opam install . --deps-only

FINALLY, add the stdint library to any desired (library)and/or (executable) targets in your **/dune files:

Copy
(library
  (name YourLibrary)
  ; ... existing library options ...
  (libraries
    ; ... existing libraries ...
    stdint))

(executable
  (name YourExecutable)
  ; ... existing executable options ...
  (libraries
    ; ... existing libraries ...
    stdint))
typeint8`` =private int

Signed 8-bit integer

typeint16`` =private int

Signed 16-bit integer

typeint24`` =private int

Signed 24-bit integer

typeint32`` =Stdlib.Int32.t

Signed 32-bit integer

type int40

Signed 40-bit integer

type int48

Signed 48-bit integer

type int56

Signed 56-bit integer

typeint64`` =Stdlib.Int64.t

Signed 64-bit integer

type int128

Signed 128-bit integer

typeuint8`` =private int

Unsigned 8-bit integer

typeuint16`` =private int

Unsigned 16-bit integer

typeuint24`` =private int

Unsigned 24-bit integer

type uint32

Unsigned 32-bit integer

type uint40

Unsigned 40-bit integer

type uint48

Unsigned 48-bit integer

type uint56

Unsigned 56-bit integer

type uint64

Unsigned 64-bit integer

type uint128

Unsigned 128-bit integer

module type Int=sig...end

The generic integer interface

module Int8:Int with type t=int8
module Int16:Int with type t=int16
module Int24:Int with type t=int24
module Int32:Int with type t=int32
module Int40:Int with type t=int40
module Int48:Int with type t=int48
module Int56:Int with type t=int56
module Int64:Int with type t=int64
module Int128:Int with type t=int128
module Uint8:Int with type t=uint8
module Uint16:Int with type t=uint16
module Uint24:Int with type t=uint24
module Uint32:Int with type t=uint32
module Uint40:Int with type t=uint40
module Uint48:Int with type t=uint48
module Uint56:Int with type t=uint56
module Uint64:Int with type t=uint64
module Uint128:Int with type t=uint128