IdrisDoc
: System
Index
System
MkClock
:
(
seconds
:
Integer
) -> (
nanoseconds
:
Integer
) ->
Clock