Library rt.model.basic.time

Module Time.

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

End Time.