
  0 | -- Note: This module is automatically generated when Idris builds
  1 | -- the library and the constants will be replaced with values
  2 | -- matching the system this is generated on.
  3 | --
  4 | -- The placeholders are here so that it works with tools like the LSP
  5 | -- without first compiling the library. They were generated on an x86_64
  6 | -- GNU/Linux system with GCC. If you are on a similar system, your numbers
  7 | -- might very well be identical.
  8 | module System.Posix.Time.Types
  9 | 
 10 | import Data.C.Integer
 11 | 
 12 | %default total
 13 | 
 14 | 
 15 | public export %inline
 16 | timespec_size : Bits32
 17 | timespec_size = 16
 18 | 
 19 | public export %inline
 20 | tm_size : Bits32
 21 | tm_size = 56
 22 |