Module Pascaligo

Converts PascaLIGO modules to the Simplified Abstract Syntax Tree.

module CST = Cst.Pascaligo
module AST = Ast_imperative
module Errors : sig ... end
module Decompiler : sig ... end

Convert a concrete PascaLIGO expression CST to the imperative expression AST used by the compiler.

Convert a concrete PascaLIGO module CST to the miperative module AST used by the compiler.

val decompile_expression : AST.expr -> CST.expr
val decompile_declarations : AST.module_ -> CST.declarations
val decompile_pattern_to_string : AST.type_expression AST.pattern -> string