Module `Posix_base.Types`

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

module type Signed = sig ... end: Module type for signed integers.

val mkSigned : name:string -> size:int -> (module Signed)

module type Unsigned = sig ... end: Module type for unsigned integers.

val mkUnsigned : name:string -> size:int -> (module Unsigned)

module 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).

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