Idris2Doc
: System.Posix.Time.Types
Index
Default
Alternative
Black & White
System.Posix.Time.Types
(
source
)
Definitions
timespec_size
:
Bits32
Totality
:
total
Visibility
:
public export
tm_size
:
Bits32
Totality
:
total
Visibility
:
public export