structure toStringEin = struct
    local

    structure DstIL = LowIL
    structure DstTy = LowILTypes
    structure DstOp = LowOps
    structure Var = LowIL.Var
    structure E = Ein

    in

val testing=0

val bV= ref 0

fun toStringRHS x  = (case DstIL.Var.binding x
    of vb => String.concat[
        "\n Found ", DstIL.vbToString vb,"\n"]
    (* end case *))


fun toStringAssgn(DstIL.ASSGN (x, DstIL.OP(opss,args)))=
       String.concat [(Var.toString x),"==",DstOp.toString opss," : ",(String.concatWith "," (List.map Var.toString args))]
    | toStringAssgn(DstIL.ASSGN(x,DstIL.LIT _))= String.concat[Var.toString  x,"==...Lit"]
    | toStringAssgn(DstIL.ASSGN(x,DstIL.CONS (_, varl)))= let
             val y= List.map (fn e1=> Var.toString e1) varl
            in String.concat[(Var.toString  x),"==",(String.concatWith "," y)] end 
    | toStringAssgn(DstIL.ASSGN (x, _))=String.concat[Var.toString  x,"==","CONS",toStringRHS x]


fun toStringTy(DstTy.IntTy )= "int "
    | toStringTy(DstTy.TensorTy [])= "Real "
    | toStringTy(DstTy.TensorTy(dd))=String.concat[
    "TensorTy[", String.concatWith "," (List.map Int.toString dd), "] "]

fun toStringAll(ty,rator)=
    String.concat([toStringTy ty,"\n", toStringAssgn rator] )
    end 

end