Module `Utils.Name`

Module to manage name creation.

val timestamp_name : string -> string: timestamp_name name generates a new name by adding a timestamp at creation time to name.