Module BasilIR.ShowBasilIR

type showable = Stdlib.Buffer.t -> unit
val show : showable -> string
val emptyS : showable
val c2s : char -> showable
val s2s : string -> showable
val (>>) : showable -> showable -> showable
val showChar : char -> showable
val showString : string -> showable
val showList : ('a -> showable) -> 'a list -> showable
val showInt : int -> showable
val showFloat : float -> showable
val showBVTYPE : AbsBasilIR.bVTYPE -> showable
val showINTTYPE : AbsBasilIR.iNTTYPE -> showable
val showBOOLTYPE : AbsBasilIR.bOOLTYPE -> showable
val showBIdent : AbsBasilIR.bIdent -> showable
val showLocalIdent : AbsBasilIR.localIdent -> showable
val showGlobalIdent : AbsBasilIR.globalIdent -> showable
val showBlockIdent : AbsBasilIR.blockIdent -> showable
val showProcIdent : AbsBasilIR.procIdent -> showable
val showBeginList : AbsBasilIR.beginList -> showable
val showEndList : AbsBasilIR.endList -> showable
val showBeginRec : AbsBasilIR.beginRec -> showable
val showEndRec : AbsBasilIR.endRec -> showable
val showLambdaSep : AbsBasilIR.lambdaSep -> showable
val showStr : AbsBasilIR.str -> showable
val showIntegerHex : AbsBasilIR.integerHex -> showable
val showIntegerDec : AbsBasilIR.integerDec -> showable
val showModuleT : AbsBasilIR.moduleT -> showable
val showSemicolons : AbsBasilIR.semicolons -> showable
val showDecl : AbsBasilIR.decl -> showable
val showProcDef : AbsBasilIR.procDef -> showable
val showIntType : AbsBasilIR.intType -> showable
val showBoolType : AbsBasilIR.boolType -> showable
val showMapType : AbsBasilIR.mapType -> showable
val showBVType : AbsBasilIR.bVType -> showable
val showTypeT : AbsBasilIR.typeT -> showable
val showIntVal : AbsBasilIR.intVal -> showable
val showBVVal : AbsBasilIR.bVVal -> showable
val showEndian : AbsBasilIR.endian -> showable
val showAssignment : AbsBasilIR.assignment -> showable
val showStmt : AbsBasilIR.stmt -> showable
val showLocalVar : AbsBasilIR.localVar -> showable
val showGlobalVar : AbsBasilIR.globalVar -> showable
val showLVars : AbsBasilIR.lVars -> showable
val showJump : AbsBasilIR.jump -> showable
val showLVar : AbsBasilIR.lVar -> showable
val showStmtWithAttrib : AbsBasilIR.stmtWithAttrib -> showable
val showJumpWithAttrib : AbsBasilIR.jumpWithAttrib -> showable
val showBlock : AbsBasilIR.block -> showable
val showAttrKeyValue : AbsBasilIR.attrKeyValue -> showable
val showAttribSet : AbsBasilIR.attribSet -> showable
val showAttr : AbsBasilIR.attr -> showable
val showParams : AbsBasilIR.params -> showable
val showValue : AbsBasilIR.value -> showable
val showExpr : AbsBasilIR.expr -> showable
val showLambdaDef : AbsBasilIR.lambdaDef -> showable
val showBinOp : AbsBasilIR.binOp -> showable
val showUnOp : AbsBasilIR.unOp -> showable
val showEqOp : AbsBasilIR.eqOp -> showable
val showBVUnOp : AbsBasilIR.bVUnOp -> showable
val showBVBinOp : AbsBasilIR.bVBinOp -> showable
val showBVLogicalBinOp : AbsBasilIR.bVLogicalBinOp -> showable
val showIntBinOp : AbsBasilIR.intBinOp -> showable
val showIntLogicalBinOp : AbsBasilIR.intLogicalBinOp -> showable
val showBoolBinOp : AbsBasilIR.boolBinOp -> showable
val showRequireTok : AbsBasilIR.requireTok -> showable
val showEnsureTok : AbsBasilIR.ensureTok -> showable
val showFunSpec : AbsBasilIR.funSpec -> showable
val showProgSpec : AbsBasilIR.progSpec -> showable