<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html; charset=ISO-8859-1"

 http-equiv="Content-Type">

</head>

<body bgcolor="#ffffff" text="#000000">

On 04/14/2014 03:13 AM, Marco Maggesi wrote:

<blockquote

 cite="mid:CAAdZW_tO907EVmTSy_dN5PnPhq_SLFfa=dLNUVN5aWY7D9nggw@mail.gmail.com"

 type="cite">

  <div dir="ltr">I have a tree-like datatype as follows

  <div class="gmail_default"

 style="font-family: arial,helvetica,sans-serif; font-size: small;"><br>

  </div>

  <div class="gmail_default"

 style="font-family: arial,helvetica,sans-serif; font-size: small;">

  <div class="gmail_default">datatype tree =</div>

  <div class="gmail_default">  | Leaf of { Label : string }</div>

  <div class="gmail_default">  | Node of { Label : string, Children :

list tree}</div>

  <div><br>

  </div>

  <div>and I would like to write values of tree type inside an SQL

database.</div>

  </div>

  </div>

</blockquote>

<br>

I expect the built-in [serialized] type family is exactly what you

want.  You could help me test the documentation, by seeing if this tip

is enough to point you in the right direction without more detail

here. :)<br>

</body>

</html>