(*
  This file was generated by generate-show-syntax.sml. Do not edit manually.
  To regenerate, use

    sml generate-show-syntax.sml -o ShowSyntax.sml Syntax.sml
*)

structure ShowSyntax = struct
fun intToStringI (_ : string) (i : int) : string = Int.toString i

fun varToStringI (_ : string) (v : Syntax.var) : string = "Var " ^ Int.toString v

fun stringToStringI (_ : string) (s : string) : string = "\"" ^ String.toString s ^ "\""

fun optionToString (_ : string -> 'a -> string) (_ : string) NONE : string = "NONE"
  | optionToString show indent (SOME x) = "SOME (" ^ show indent x ^ ")"

fun listToString (_ : string -> 'a -> string) (_ : string) ([] : 'a list) : string = "[]"
  | listToString show indent [x] = "[" ^ show indent x ^ "]"
  | listToString show indent xs =
      let val indent' = indent ^ "  " in
          "[\n"
        ^ indent' ^ String.concatWith (",\n" ^ indent') (map (show indent') xs) ^ "\n"
        ^ indent ^ "]"
      end

fun etypeToStringI (indent : string) (Syntax.Tyvar x : Syntax.etype) : string =
      "Tyvar " ^ stringToStringI indent x
  | etypeToStringI (indent : string) (Syntax.Tycon x : Syntax.etype) : string =
      "Tycon " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString (etypeToStringI) indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | etypeToStringI (indent : string) (Syntax.TyTuple x : Syntax.etype) : string =
      "TyTuple " ^ listToString (etypeToStringI) indent x
  | etypeToStringI (indent : string) (Syntax.Tyfun x : Syntax.etype) : string =
      "Tyfun " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ etypeToStringI indent' x0 ^ ",\n" ^ indent' ^ etypeToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
and etypeToString (x : Syntax.etype) : string = etypeToStringI "" x

and patToStringI (indent : string) (Syntax.PWild : Syntax.pat) : string =
      "PWild"
  | patToStringI (indent : string) (Syntax.PVar x : Syntax.pat) : string =
      "PVar " ^ stringToStringI indent x
  | patToStringI (indent : string) (Syntax.PInt x : Syntax.pat) : string =
      "PInt " ^ intToStringI indent x
  | patToStringI (indent : string) (Syntax.PTuple x : Syntax.pat) : string =
      "PTuple " ^ listToString (patToStringI) indent x
  | patToStringI (indent : string) (Syntax.PCon x : Syntax.pat) : string =
      "PCon " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString (stringToStringI) indent' x0 ^ ",\n" ^ indent' ^ patToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
and patToString (x : Syntax.pat) : string = patToStringI "" x

and identTypeToStringI (indent : string) (Syntax.ITVar : Syntax.identType) : string =
      "ITVar"
  | identTypeToStringI (indent : string) (Syntax.ITStruct : Syntax.identType) : string =
      "ITStruct"
  | identTypeToStringI (indent : string) (Syntax.ITFunctor : Syntax.identType) : string =
      "ITFunctor"
  | identTypeToStringI (indent : string) (Syntax.ITSignature : Syntax.identType) : string =
      "ITSignature"
and identTypeToString (x : Syntax.identType) : string = identTypeToStringI "" x

and exprToStringI (indent : string) (Syntax.EIdent x : Syntax.expr) : string =
      "EIdent " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ identTypeToStringI indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.EDot x : Syntax.expr) : string =
      "EDot " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ exprToStringI indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ identTypeToStringI indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.EBuiltin x : Syntax.expr) : string =
      "EBuiltin " ^ stringToStringI indent x
  | exprToStringI (indent : string) (Syntax.EInt x : Syntax.expr) : string =
      "EInt " ^ intToStringI indent x
  | exprToStringI (indent : string) (Syntax.EStr x : Syntax.expr) : string =
      "EStr " ^ stringToStringI indent x
  | exprToStringI (indent : string) (Syntax.ETuple x : Syntax.expr) : string =
      "ETuple " ^ listToString (exprToStringI) indent x
  | exprToStringI (indent : string) (Syntax.EList x : Syntax.expr) : string =
      "EList " ^ listToString (exprToStringI) indent x
  | exprToStringI (indent : string) (Syntax.EApp x : Syntax.expr) : string =
      "EApp " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ exprToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.ETyped x : Syntax.expr) : string =
      "ETyped " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ exprToStringI indent' x0 ^ ",\n" ^ indent' ^ etypeToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.EAndAlso x : Syntax.expr) : string =
      "EAndAlso " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ exprToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.EOrElse x : Syntax.expr) : string =
      "EOrElse " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ exprToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.ELet x : Syntax.expr) : string =
      "ELet " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString (decToStringI) indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.ELambda x : Syntax.expr) : string =
      "ELambda " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ patToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.ECase x : Syntax.expr) : string =
      "ECase " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ exprToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ patToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | exprToStringI (indent : string) (Syntax.EStruct x : Syntax.expr) : string =
      "EStruct " ^ listToString (decToStringI) indent x
  | exprToStringI (indent : string) (Syntax.EFunctorApp x : Syntax.expr) : string =
      "EFunctorApp " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ exprToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
and exprToString (x : Syntax.expr) : string = exprToStringI "" x

and decToStringI (indent : string) (Syntax.DVal x : Syntax.dec) : string =
      "DVal " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ patToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | decToStringI (indent : string) (Syntax.DValRec x : Syntax.dec) : string =
      "DValRec " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ patToStringI indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | decToStringI (indent : string) (Syntax.DFun x : Syntax.dec) : string =
      "DFun " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString (patToStringI) indent' x0 ^ ",\n" ^ indent' ^ exprToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | decToStringI (indent : string) (Syntax.DDatatype x : Syntax.dec) : string =
      "DDatatype " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString (stringToStringI) indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ optionToString (etypeToStringI) indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | decToStringI (indent : string) (Syntax.DType x : Syntax.dec) : string =
      "DType " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ etypeToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | decToStringI (indent : string) (Syntax.DStruct x : Syntax.dec) : string =
      "DStruct " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ optionToString (stringToStringI) indent' x1 ^ ",\n" ^ indent' ^ exprToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | decToStringI (indent : string) (Syntax.DSig x : Syntax.dec) : string =
      "DSig " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ etypeToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | decToStringI (indent : string) (Syntax.DFunctor x : Syntax.dec) : string =
      "DFunctor " ^ (fn indent => fn (x0, x1, x2, x3) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ ",\n" ^ indent' ^ stringToStringI indent' x2 ^ ",\n" ^ indent' ^ exprToStringI indent' x3 ^ "\n" ^ indent ^ ")" end) indent x
and decToString (x : Syntax.dec) : string = decToStringI "" x

and tyToStringI (indent : string) (Syntax.TInt : Syntax.ty) : string =
      "TInt"
  | tyToStringI (indent : string) (Syntax.TBool : Syntax.ty) : string =
      "TBool"
  | tyToStringI (indent : string) (Syntax.TString : Syntax.ty) : string =
      "TString"
  | tyToStringI (indent : string) (Syntax.TVar x : Syntax.ty) : string =
      "TVar " ^ intToStringI indent x
  | tyToStringI (indent : string) (Syntax.TTuple x : Syntax.ty) : string =
      "TTuple " ^ listToString (tyToStringI) indent x
  | tyToStringI (indent : string) (Syntax.TFun x : Syntax.ty) : string =
      "TFun " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ tyToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | tyToStringI (indent : string) (Syntax.TList x : Syntax.ty) : string =
      "TList " ^ tyToStringI indent x
  | tyToStringI (indent : string) (Syntax.TDatatype x : Syntax.ty) : string =
      "TDatatype " ^ listToString (stringToStringI) indent x
  | tyToStringI (indent : string) (Syntax.TStruct x : Syntax.ty) : string =
      "TStruct " ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ identTypeToStringI indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent x
  | tyToStringI (indent : string) (Syntax.TFunctor x : Syntax.ty) : string =
      "TFunctor " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ tyToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
and tyToString (x : Syntax.ty) : string = tyToStringI "" x

and typedPatToStringI (indent : string) (Syntax.TPWild : Syntax.typedPat) : string =
      "TPWild"
  | typedPatToStringI (indent : string) (Syntax.TPVar x : Syntax.typedPat) : string =
      "TPVar " ^ stringToStringI indent x
  | typedPatToStringI (indent : string) (Syntax.TPInt x : Syntax.typedPat) : string =
      "TPInt " ^ intToStringI indent x
  | typedPatToStringI (indent : string) (Syntax.TPTuple x : Syntax.typedPat) : string =
      "TPTuple " ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedPatToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent x
  | typedPatToStringI (indent : string) (Syntax.TPCon x : Syntax.typedPat) : string =
      "TPCon " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString (stringToStringI) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedPatToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
and typedPatToString (x : Syntax.typedPat) : string = typedPatToStringI "" x

and typedExprToStringI (indent : string) (Syntax.TEIdent x : Syntax.typedExpr) : string =
      "TEIdent " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ identTypeToStringI indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TEDot x : Syntax.typedExpr) : string =
      "TEDot " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ identTypeToStringI indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TEBuiltin x : Syntax.typedExpr) : string =
      "TEBuiltin " ^ stringToStringI indent x
  | typedExprToStringI (indent : string) (Syntax.TEInt x : Syntax.typedExpr) : string =
      "TEInt " ^ intToStringI indent x
  | typedExprToStringI (indent : string) (Syntax.TEStr x : Syntax.typedExpr) : string =
      "TEStr " ^ stringToStringI indent x
  | typedExprToStringI (indent : string) (Syntax.TETuple x : Syntax.typedExpr) : string =
      "TETuple " ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent x
  | typedExprToStringI (indent : string) (Syntax.TEList x : Syntax.typedExpr) : string =
      "TEList " ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent x
  | typedExprToStringI (indent : string) (Syntax.TEApp x : Syntax.typedExpr) : string =
      "TEApp " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TEAndAlso x : Syntax.typedExpr) : string =
      "TEAndAlso " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TEOrElse x : Syntax.typedExpr) : string =
      "TEOrElse " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TELet x : Syntax.typedExpr) : string =
      "TELet " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString (typedDecToStringI) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TELambda x : Syntax.typedExpr) : string =
      "TELambda " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedPatToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TECase x : Syntax.typedExpr) : string =
      "TECase " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedPatToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedExprToStringI (indent : string) (Syntax.TEStruct x : Syntax.typedExpr) : string =
      "TEStruct " ^ listToString (typedDecToStringI) indent x
  | typedExprToStringI (indent : string) (Syntax.TEFunctorApp x : Syntax.typedExpr) : string =
      "TEFunctorApp " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
and typedExprToString (x : Syntax.typedExpr) : string = typedExprToStringI "" x

and typedDecToStringI (indent : string) (Syntax.TDVal x : Syntax.typedDec) : string =
      "TDVal " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedPatToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedDecToStringI (indent : string) (Syntax.TDValRec x : Syntax.typedDec) : string =
      "TDValRec " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedPatToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedDecToStringI (indent : string) (Syntax.TDFun x : Syntax.typedDec) : string =
      "TDFun " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedPatToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedDecToStringI (indent : string) (Syntax.TDDatatype x : Syntax.typedDec) : string =
      "TDDatatype " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ optionToString (tyToStringI) indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedDecToStringI (indent : string) (Syntax.TDStruct x : Syntax.typedDec) : string =
      "TDStruct " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | typedDecToStringI (indent : string) (Syntax.TDFunctor x : Syntax.typedDec) : string =
      "TDFunctor " ^ (fn indent => fn (x0, x1, x2, x3) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ stringToStringI indent' x1 ^ ",\n" ^ indent' ^ tyToStringI indent' x2 ^ ",\n" ^ indent' ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ typedExprToStringI indent' x0 ^ ",\n" ^ indent' ^ tyToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent' x3 ^ "\n" ^ indent ^ ")" end) indent x
and typedDecToString (x : Syntax.typedDec) : string = typedDecToStringI "" x

and primopToStringI (indent : string) (Syntax.PExit : Syntax.primop) : string =
      "PExit"
  | primopToStringI (indent : string) (Syntax.PAdd : Syntax.primop) : string =
      "PAdd"
  | primopToStringI (indent : string) (Syntax.PSub : Syntax.primop) : string =
      "PSub"
  | primopToStringI (indent : string) (Syntax.PMul : Syntax.primop) : string =
      "PMul"
  | primopToStringI (indent : string) (Syntax.PDiv : Syntax.primop) : string =
      "PDiv"
  | primopToStringI (indent : string) (Syntax.PLess : Syntax.primop) : string =
      "PLess"
  | primopToStringI (indent : string) (Syntax.PEq : Syntax.primop) : string =
      "PEq"
  | primopToStringI (indent : string) (Syntax.PIf : Syntax.primop) : string =
      "PIf"
  | primopToStringI (indent : string) (Syntax.PRead : Syntax.primop) : string =
      "PRead"
  | primopToStringI (indent : string) (Syntax.PWrite : Syntax.primop) : string =
      "PWrite"
  | primopToStringI (indent : string) (Syntax.PWriteErr : Syntax.primop) : string =
      "PWriteErr"
and primopToString (x : Syntax.primop) : string = primopToStringI "" x

and lexpToStringI (indent : string) (Syntax.LVar x : Syntax.lexp) : string =
      "LVar " ^ varToStringI indent x
  | lexpToStringI (indent : string) (Syntax.LFn x : Syntax.lexp) : string =
      "LFn " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ lexpToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | lexpToStringI (indent : string) (Syntax.LFix x : Syntax.lexp) : string =
      "LFix " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ varToStringI indent' x1 ^ ",\n" ^ indent' ^ lexpToStringI indent' x2 ^ "\n" ^ indent ^ ")" end)) indent' x0 ^ ",\n" ^ indent' ^ lexpToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | lexpToStringI (indent : string) (Syntax.LApp x : Syntax.lexp) : string =
      "LApp " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ lexpToStringI indent' x0 ^ ",\n" ^ indent' ^ lexpToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | lexpToStringI (indent : string) (Syntax.LInt x : Syntax.lexp) : string =
      "LInt " ^ intToStringI indent x
  | lexpToStringI (indent : string) (Syntax.LString x : Syntax.lexp) : string =
      "LString " ^ stringToStringI indent x
  | lexpToStringI (indent : string) (Syntax.LRecord x : Syntax.lexp) : string =
      "LRecord " ^ listToString (lexpToStringI) indent x
  | lexpToStringI (indent : string) (Syntax.LSelect x : Syntax.lexp) : string =
      "LSelect " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ intToStringI indent' x0 ^ ",\n" ^ indent' ^ lexpToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | lexpToStringI (indent : string) (Syntax.LPrim x : Syntax.lexp) : string =
      "LPrim " ^ primopToStringI indent x
  | lexpToStringI (indent : string) (Syntax.LSwitch x : Syntax.lexp) : string =
      "LSwitch " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ lexpToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ intToStringI indent' x0 ^ ",\n" ^ indent' ^ lexpToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ ",\n" ^ indent' ^ optionToString (lexpToStringI) indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
and lexpToString (x : Syntax.lexp) : string = lexpToStringI "" x

and valueToStringI (indent : string) (Syntax.VVar x : Syntax.value) : string =
      "VVar " ^ varToStringI indent x
  | valueToStringI (indent : string) (Syntax.VLabel x : Syntax.value) : string =
      "VLabel " ^ varToStringI indent x
  | valueToStringI (indent : string) (Syntax.VInt x : Syntax.value) : string =
      "VInt " ^ intToStringI indent x
and valueToString (x : Syntax.value) : string = valueToStringI "" x

and cexpToStringI (indent : string) (Syntax.CRecord x : Syntax.cexp) : string =
      "CRecord " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ valueToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString (intToStringI) indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x0 ^ ",\n" ^ indent' ^ varToStringI indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x0 ^ ",\n" ^ indent' ^ cexpToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | cexpToStringI (indent : string) (Syntax.CSelect x : Syntax.cexp) : string =
      "CSelect " ^ (fn indent => fn (x0, x1, x2, x3) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ intToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ varToStringI indent' x2 ^ ",\n" ^ indent' ^ cexpToStringI indent' x3 ^ "\n" ^ indent ^ ")" end) indent x
  | cexpToStringI (indent : string) (Syntax.CApp x : Syntax.cexp) : string =
      "CApp " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ valueToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString (valueToStringI) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | cexpToStringI (indent : string) (Syntax.CFix x : Syntax.cexp) : string =
      "CFix " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ listToString ((fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString (varToStringI) indent' x1 ^ ",\n" ^ indent' ^ cexpToStringI indent' x2 ^ "\n" ^ indent ^ ")" end)) indent' x0 ^ ",\n" ^ indent' ^ cexpToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | cexpToStringI (indent : string) (Syntax.CPrimop x : Syntax.cexp) : string =
      "CPrimop " ^ (fn indent => fn (x0, x1, x2, x3) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ primopToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString (valueToStringI) indent' x1 ^ ",\n" ^ indent' ^ listToString (varToStringI) indent' x2 ^ ",\n" ^ indent' ^ listToString (cexpToStringI) indent' x3 ^ "\n" ^ indent ^ ")" end) indent x
and cexpToString (x : Syntax.cexp) : string = cexpToStringI "" x

and opcodeToStringI (indent : string) (Syntax.OAlloc x : Syntax.opcode) : string =
      "OAlloc " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OCall : Syntax.opcode) : string =
      "OCall"
  | opcodeToStringI (indent : string) (Syntax.OPoke x : Syntax.opcode) : string =
      "OPoke " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ intToStringI indent' x0 ^ ",\n" ^ indent' ^ varToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OPeek x : Syntax.opcode) : string =
      "OPeek " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ intToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OShuf x : Syntax.opcode) : string =
      "OShuf " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OExit x : Syntax.opcode) : string =
      "OExit " ^ valueToStringI indent x
  | opcodeToStringI (indent : string) (Syntax.OAdd x : Syntax.opcode) : string =
      "OAdd " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OSub x : Syntax.opcode) : string =
      "OSub " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OMul x : Syntax.opcode) : string =
      "OMul " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.ODiv x : Syntax.opcode) : string =
      "ODiv " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OLess x : Syntax.opcode) : string =
      "OLess " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OEq x : Syntax.opcode) : string =
      "OEq " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OIf x : Syntax.opcode) : string =
      "OIf " ^ (fn indent => fn (x0, x1) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ valueToStringI indent' x0 ^ ",\n" ^ indent' ^ varToStringI indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OLabel x : Syntax.opcode) : string =
      "OLabel " ^ varToStringI indent x
  | opcodeToStringI (indent : string) (Syntax.ORead x : Syntax.opcode) : string =
      "ORead " ^ (fn indent => fn (x0, x1, x2, x3) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ varToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ ",\n" ^ indent' ^ valueToStringI indent' x3 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OWrite x : Syntax.opcode) : string =
      "OWrite " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
  | opcodeToStringI (indent : string) (Syntax.OWriteErr x : Syntax.opcode) : string =
      "OWriteErr " ^ (fn indent => fn (x0, x1, x2) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ varToStringI indent' x0 ^ ",\n" ^ indent' ^ valueToStringI indent' x1 ^ ",\n" ^ indent' ^ valueToStringI indent' x2 ^ "\n" ^ indent ^ ")" end) indent x
and opcodeToString (x : Syntax.opcode) : string = opcodeToStringI "" x
end