pretty.cd

(* example taken from the paper "A core calculus for XQuery 3.0" *)

let pretty ( ( <a class="style1" href='c ..>  'a) -> <a href='c>[<b> 'a ] ; 
               'b\ <a class="style1">_ -> 'b\  <a class="style1">_ )
   | <a class="style1" href=h ..> l -> <a href=h>[<b> l]
   | x -> x;;