BasilIR.PrintBasilIRval printTree : (int -> 'a -> doc) -> 'a -> stringval render : string -> docval emptyDoc : docval prtChar : int -> char -> docval prtInt : int -> int -> docval prtFloat : int -> float -> docval prtString : int -> string -> docval prtBVTYPE : 'a -> AbsBasilIR.bVTYPE -> docval prtINTTYPE : 'a -> AbsBasilIR.iNTTYPE -> docval prtBOOLTYPE : 'a -> AbsBasilIR.bOOLTYPE -> docval prtBIdent : 'a -> AbsBasilIR.bIdent -> docval prtLocalIdent : 'a -> AbsBasilIR.localIdent -> docval prtGlobalIdent : 'a -> AbsBasilIR.globalIdent -> docval prtBlockIdent : 'a -> AbsBasilIR.blockIdent -> docval prtBlockIdentListBNFC : int -> AbsBasilIR.blockIdent list -> docval prtProcIdent : 'a -> AbsBasilIR.procIdent -> docval prtBeginList : 'a -> AbsBasilIR.beginList -> docval prtEndList : 'a -> AbsBasilIR.endList -> docval prtBeginRec : 'a -> AbsBasilIR.beginRec -> docval prtEndRec : 'a -> AbsBasilIR.endRec -> docval prtLambdaSep : 'a -> AbsBasilIR.lambdaSep -> docval prtStr : 'a -> AbsBasilIR.str -> docval prtIntegerHex : 'a -> AbsBasilIR.integerHex -> docval prtIntegerDec : 'a -> AbsBasilIR.integerDec -> docval prtModuleT : int -> AbsBasilIR.moduleT -> docval prtSemicolons : int -> AbsBasilIR.semicolons -> docval prtDecl : int -> AbsBasilIR.decl -> docval prtDeclListBNFC : int -> AbsBasilIR.decl list -> docval prtProcDef : int -> AbsBasilIR.procDef -> docval prtIntType : int -> AbsBasilIR.intType -> docval prtBoolType : int -> AbsBasilIR.boolType -> docval prtMapType : int -> AbsBasilIR.mapType -> docval prtBVType : int -> AbsBasilIR.bVType -> docval prtTypeT : int -> AbsBasilIR.typeT -> docval prtTypeTListBNFC : int -> AbsBasilIR.typeT list -> docval prtIntVal : int -> AbsBasilIR.intVal -> docval prtBVVal : int -> AbsBasilIR.bVVal -> docval prtEndian : int -> AbsBasilIR.endian -> docval prtAssignment : int -> AbsBasilIR.assignment -> docval prtAssignmentListBNFC : int -> AbsBasilIR.assignment list -> docval prtStmt : int -> AbsBasilIR.stmt -> docval prtLocalVar : int -> AbsBasilIR.localVar -> docval prtLocalVarListBNFC : int -> AbsBasilIR.localVar list -> docval prtGlobalVar : int -> AbsBasilIR.globalVar -> docval prtLVars : int -> AbsBasilIR.lVars -> docval prtJump : int -> AbsBasilIR.jump -> docval prtLVar : int -> AbsBasilIR.lVar -> docval prtLVarListBNFC : int -> AbsBasilIR.lVar list -> docval prtStmtWithAttrib : int -> AbsBasilIR.stmtWithAttrib -> docval prtStmtWithAttribListBNFC : int -> AbsBasilIR.stmtWithAttrib list -> docval prtJumpWithAttrib : int -> AbsBasilIR.jumpWithAttrib -> docval prtBlock : int -> AbsBasilIR.block -> docval prtBlockListBNFC : int -> AbsBasilIR.block list -> docval prtAttrKeyValue : int -> AbsBasilIR.attrKeyValue -> docval prtAttrKeyValueListBNFC : int -> AbsBasilIR.attrKeyValue list -> docval prtAttribSet : int -> AbsBasilIR.attribSet -> docval prtAttr : int -> AbsBasilIR.attr -> docval prtAttrListBNFC : int -> AbsBasilIR.attr list -> docval prtParams : int -> AbsBasilIR.params -> docval prtParamsListBNFC : int -> AbsBasilIR.params list -> docval prtValue : int -> AbsBasilIR.value -> docval prtExpr : int -> AbsBasilIR.expr -> docval prtExprListBNFC : int -> AbsBasilIR.expr list -> docval prtLambdaDef : int -> AbsBasilIR.lambdaDef -> docval prtBinOp : int -> AbsBasilIR.binOp -> docval prtUnOp : int -> AbsBasilIR.unOp -> docval prtEqOp : int -> AbsBasilIR.eqOp -> docval prtBVUnOp : int -> AbsBasilIR.bVUnOp -> docval prtBVBinOp : int -> AbsBasilIR.bVBinOp -> docval prtBVLogicalBinOp : int -> AbsBasilIR.bVLogicalBinOp -> docval prtIntBinOp : int -> AbsBasilIR.intBinOp -> docval prtIntLogicalBinOp : int -> AbsBasilIR.intLogicalBinOp -> docval prtBoolBinOp : int -> AbsBasilIR.boolBinOp -> docval prtRequireTok : int -> AbsBasilIR.requireTok -> docval prtEnsureTok : int -> AbsBasilIR.ensureTok -> docval prtFunSpec : int -> AbsBasilIR.funSpec -> docval prtFunSpecListBNFC : int -> AbsBasilIR.funSpec list -> docval prtProgSpec : int -> AbsBasilIR.progSpec -> docval prtProgSpecListBNFC : int -> AbsBasilIR.progSpec list -> doc