pretty.cd 286 Bytes
Newer Older
1
2
(* example taken from the paper "A core calculus for XQuery 3.0" *)

Giuseppe Castagna's avatar
Giuseppe Castagna committed
3
let pretty ( ( <a class="style1" href='c ..>  'a) -> <a href='c>[<b> 'a ] ; 
4
5
6
               'b\ <a class="style1">_ -> 'b\  <a class="style1">_ )
   | <a class="style1" href=h ..> l -> <a href=h>[<b> l]
   | x -> x;;