untitled - where rec Picture(T,n,Spaces)= n eq...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
let Tag s n = n aug s and TreePicture(T) = TPicture(T,'') where rec TPicture (T,Spaces) = not (Istuple T) -> T | Order T eq 0 -> '' | '<' @Conc (T(Order T)) @Conc ( '\n') @Conc Spaces @Conc ' ' @Conc (Picture(T,(Order T)-1,Spaces @Conc ' ')) @Conc '\n' @Conc Spaces @Conc '>'
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: where rec Picture(T,n,Spaces)= n eq 1-&gt; TPicture(T n, Spaces) | (Picture(T,n-1,Spaces)) @Conc '\n' @Conc Spaces @Conc (TPicture (T n, Spaces)) in Print ( TreePicture (Tag 'ARROW' (Tag 'BINOP' ('x','EQ','0') , 'Y' , Tag 'AP' ('f','2') ) ) )...
View Full Document

Ask a homework question - tutors are online