Library rt.restructuring.behavior.time

(* Time is defined as a natural number. *)

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