Self_ast_imperative (ligo.Self_ast

module Errors : sig ... end

val all_expression_mapper : 
  raise:
    ( [< Errors.self_ast_imperative_error Self_ast_imperative_bad_conversion_bytes Self_ast_imperative_bad_empty_arity Self_ast_imperative_bad_format_literal Self_ast_imperative_bad_map_param_type Self_ast_imperative_bad_set_param_type Self_ast_imperative_bad_single_arity Self_ast_imperative_bad_timestamp Self_ast_imperative_const_assigned Self_ast_imperative_no_shadowing Self_ast_imperative_non_linear_pattern Self_ast_imperative_non_linear_record Self_ast_imperative_reserved_name Self_ast_imperative_vars_captured ],
      'a )
      Simple_utils.Trace.raise ->
  js_style_no_shadowing:bool ->
  ( Ast_imperative.expression -> Ast_imperative.expression ) Base__List.t

val all_type_expression_mapper : 
  raise:
    ( [< Errors.self_ast_imperative_error Self_ast_imperative_long_constructor Self_ast_imperative_non_linear_row Self_ast_imperative_non_linear_type_decl Self_ast_imperative_reserved_name ],
      [> `Self_ast_imperative_warning_layout of
           Ast_imperative.Location.t * Ast_imperative.label ] )
      Simple_utils.Trace.raise ->
  ( Ast_imperative.type_expression -> Ast_imperative.type_expression ) list

val all_module_mapper : 
  raise:
    ( [> `Self_ast_imperative_no_shadowing of Ast_imperative.Location.t
      | `Self_ast_imperative_reserved_name of
        string * Ast_imperative.Location.t ],
      'a )
      Simple_utils.Trace.raise ->
  js_style_no_shadowing:bool ->
  ( Ast_imperative.module_ -> Ast_imperative.module_ ) Base__List.t

val all_exp : 
  raise:
    ( [< Errors.self_ast_imperative_error Self_ast_imperative_bad_conversion_bytes Self_ast_imperative_bad_empty_arity Self_ast_imperative_bad_format_literal Self_ast_imperative_bad_map_param_type Self_ast_imperative_bad_set_param_type Self_ast_imperative_bad_single_arity Self_ast_imperative_bad_timestamp Self_ast_imperative_const_assigned Self_ast_imperative_no_shadowing Self_ast_imperative_non_linear_pattern Self_ast_imperative_non_linear_record Self_ast_imperative_reserved_name Self_ast_imperative_vars_captured ],
      'a )
      Simple_utils.Trace.raise ->
  js_style_no_shadowing:bool ->
  Self_ast_imperative__Helpers.abs_mapper list

val all_ty : 
  raise:
    ( [< Errors.self_ast_imperative_error Self_ast_imperative_long_constructor Self_ast_imperative_non_linear_row Self_ast_imperative_non_linear_type_decl Self_ast_imperative_reserved_name ],
      [> `Self_ast_imperative_warning_layout of
           Ast_imperative.Location.t * Ast_imperative.label ] )
      Simple_utils.Trace.raise ->
  Self_ast_imperative__Helpers.abs_mapper list

val all_module : 
  raise:
    ( [< Errors.self_ast_imperative_error Self_ast_imperative_bad_conversion_bytes Self_ast_imperative_bad_empty_arity Self_ast_imperative_bad_format_literal Self_ast_imperative_bad_map_param_type Self_ast_imperative_bad_set_param_type Self_ast_imperative_bad_single_arity Self_ast_imperative_bad_timestamp Self_ast_imperative_const_assigned Self_ast_imperative_long_constructor Self_ast_imperative_no_shadowing Self_ast_imperative_non_linear_pattern Self_ast_imperative_non_linear_record Self_ast_imperative_non_linear_row Self_ast_imperative_non_linear_type_decl Self_ast_imperative_reserved_name Self_ast_imperative_vars_captured ],
      [> `Self_ast_imperative_warning_layout of
           Ast_imperative.Location.t * Ast_imperative.label ] )
      Simple_utils.Trace.raise ->
  js_style_no_shadowing:bool ->
  Ast_imperative.module_ ->
  Ast_imperative.module_

val all_expression : 
  raise:
    ( [< Errors.self_ast_imperative_error Self_ast_imperative_bad_conversion_bytes Self_ast_imperative_bad_empty_arity Self_ast_imperative_bad_format_literal Self_ast_imperative_bad_map_param_type Self_ast_imperative_bad_set_param_type Self_ast_imperative_bad_single_arity Self_ast_imperative_bad_timestamp Self_ast_imperative_const_assigned Self_ast_imperative_no_shadowing Self_ast_imperative_non_linear_pattern Self_ast_imperative_non_linear_record Self_ast_imperative_reserved_name Self_ast_imperative_vars_captured ],
      'a )
      Simple_utils.Trace.raise ->
  js_style_no_shadowing:bool ->
  Ast_imperative.expression ->
  Ast_imperative.expression

val decompile_imperative : Ast_imperative.module_ -> Ast_imperative.module_

val decompile_imperative_expression : 
  Ast_imperative.expression ->
  Ast_imperative.expression