IdrisDoc: System

System

MkClock : (seconds : Integer) -> (nanoseconds : Integer) -> Clock