TFL/usyntax.sml

           in {varstruct = mk_pair{fst = lv, snd = rv}, body = body}
           end
 end;
 
 
-(* Garbage - ought to be dropped *)
 val lhs   = #lhs o dest_eq
 val rhs   = #rhs o dest_eq
 val rand  = #Rand o dest_comb