Module Self_ast_imperative

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