Library prosa.classic.model.time

Module Time.

  (* Time is defined as a natural number. *)
  Definition time := nat.
  Definition duration := time.
  Definition instant := time.

End Time.