Library prosa.classic.model.time

Module Time.

  Definition time := nat.
  Definition duration := time.
  Definition instant := time.

End Time.