package posix-base

  1. Overview
  2. Docs

Module Posix_base.TypesSource

Module used to define generic types using their size. See Posix_types for an example.

Sourcemodule type Signed = sig ... end

Module type for signed integers.

Sourceval mkSigned : name:string -> size:int -> (module Signed)
Sourcemodule type Unsigned = sig ... end

Module type for unsigned integers.

Sourceval mkUnsigned : name:string -> size:int -> (module Unsigned)
Sourcemodule type Arithmetic = sig ... end

Module type for arithmetic numbers. In POSIX world, an arithmetic type can be either a floating point number or an integer (of unknown size).

Sourceval mkArithmetic : name:string -> size:int -> is_float:bool -> (module Arithmetic)