(*
  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 exprToStringI (indent : string) (Syntax.EIdent x : Syntax.expr) : string =
    "EIdent " ^ listToString (stringToStringI) 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
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) => 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 (etypeToStringI) indent' x1 ^ "\n" ^ indent ^ ")" end)) indent' x1 ^ "\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) => let val indent' = indent ^ "  " in "(\n" ^ indent' ^ stringToStringI indent' x0 ^ ",\n" ^ indent' ^ listToString (decToStringI) indent' x1 ^ "\n" ^ indent ^ ")" end) indent x
and decToString (x : Syntax.dec) : string = decToStringI "" 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