package posix-base
Module Posix_base.TypesSource
Module used to define generic types using their size. See Posix_types for an example.
Module type for arithmetic numbers. In POSIX world, an arithmetic type can be either a floating point number or an integer (of unknown size).