title: How to convert a Ada.Real_TIme.Time to a string?
body: <p>I would like to write a <a href="http://www.adaic.com/standards/05rm/html/RM-D-8.html" rel="nofollow noreferrer">Ada.Real_Time.Time</a> in a file,</p>
  
  <p>How can I do that?</p>
  
  <p>Thanks</p>