BasilASTLoader (basil_ast.Basillang.Ast

val failure : 'a -> 'b

val transBVTYPE : BasilIR.AbsBasilIR.bVTYPE -> BasilAST.BasilAST.btype

val transBIdent : BasilIR.AbsBasilIR.bIdent -> BasilAST.BasilAST.ident

val transStr : BasilIR.AbsBasilIR.str -> string

val transProgram : BasilIR.AbsBasilIR.moduleT -> BasilAST.BasilAST.proc list

val transDeclaration : BasilIR.AbsBasilIR.decl -> BasilAST.BasilAST.proc list

val transMapType : BasilIR.AbsBasilIR.mapType -> BasilAST.BasilAST.btype

val transType : BasilIR.AbsBasilIR.typeT -> BasilAST.BasilAST.btype

val transIntVal : BasilIR.AbsBasilIR.intVal -> BasilAST.BasilAST.integer

val transEndian : BasilIR.AbsBasilIR.endian -> BasilAST.BasilAST.endian

val transStatement : 
  BasilIR.AbsBasilIR.stmtWithAttrib ->
  BasilAST.BasilAST.statement

val transCallLVars : BasilIR.AbsBasilIR.lVars -> BasilAST.BasilAST.lVar list

val unpackLVars : 
  BasilIR.AbsBasilIR.localVar list ->
  (BasilAST.BasilAST.ident * BasilAST.BasilAST.btype) list

val transJump : BasilIR.AbsBasilIR.jumpWithAttrib -> BasilAST.BasilAST.jump

val transLVar : BasilIR.AbsBasilIR.lVar -> BasilAST.BasilAST.lVar

val list_begin_end_to_textrange : 
  BasilIR.AbsBasilIR.beginList ->
  BasilIR.AbsBasilIR.endList ->
  BasilAST.BasilAST.textRange

val rec_begin_end_to_textrange : 
  BasilIR.AbsBasilIR.beginRec ->
  BasilIR.AbsBasilIR.endRec ->
  BasilAST.BasilAST.textRange

val transBlock : BasilIR.AbsBasilIR.block -> BasilAST.BasilAST.block

val param_to_lvar : BasilIR.AbsBasilIR.params -> BasilAST.BasilAST.lVar

val transParams : BasilIR.AbsBasilIR.params -> BasilAST.BasilAST.lVar

val unsafe_unsigil : 
  [ `Block of BasilIR.AbsBasilIR.blockIdent
  | `Global of BasilIR.AbsBasilIR.globalIdent
  | `Local of BasilIR.AbsBasilIR.localIdent
  | `Proc of BasilIR.AbsBasilIR.procIdent ] ->
  BasilAST.BasilAST.ident

val transExpr : BasilIR.AbsBasilIR.expr -> BasilAST.BasilAST.expr

val transBinOp : BasilIR.AbsBasilIR.binOp -> BasilAST.BasilAST.binOp

val transUnOp : BasilIR.AbsBasilIR.unOp -> BasilAST.BasilAST.unOp

val transBVUnOp : BasilIR.AbsBasilIR.bVUnOp -> BasilAST.BasilAST.unOp

val transBVBinOp : BasilIR.AbsBasilIR.bVBinOp -> BasilAST.BasilAST.binOp

val transBVLogicalBinOp : 
  BasilIR.AbsBasilIR.bVLogicalBinOp ->
  BasilAST.BasilAST.binOp

val transEqOp : BasilIR.AbsBasilIR.eqOp -> BasilAST.BasilAST.binOp

val transIntBinOp : BasilIR.AbsBasilIR.intBinOp -> BasilAST.BasilAST.binOp

val transIntLogicalBinOp : 
  BasilIR.AbsBasilIR.intLogicalBinOp ->
  BasilAST.BasilAST.binOp

val transBoolBinOp : BasilIR.AbsBasilIR.boolBinOp -> BasilAST.BasilAST.binOp