Module Self_ast_aggregated

module Errors : sig ... end
module Helpers : sig ... end
val reset_counter : unit -> unit
val expression_obj : raise: ( [> `Self_ast_aggregated_expected_obj_ligo of Ast_aggregated.location ], 'a ) Simple_utils.Trace.raise -> Ast_aggregated.expression -> Ast_aggregated.expression
val all_expression : raise: ( [> `Self_ast_aggregated_corner_case of string | `Self_ast_aggregated_expected_obj_ligo of Ast_aggregated.location | `Self_ast_aggregated_polymorphism_unresolved of Ast_aggregated.Types.location ], [> `Jsligo_deprecated_toplevel_let of Simple_utils.Location.t ] ) Simple_utils.Trace.raise -> options:Compiler_options.middle_end -> Ast_aggregated.expression -> Ast_aggregated.expression
val contract_passes : raise: ( [> `Self_ast_aggregated_bad_format_entrypoint_ann of string * Ast_aggregated.Types.location | `Self_ast_aggregated_emit_tag_not_literal of Ast_aggregated.Types.location | `Self_ast_aggregated_entrypoint_ann_not_literal of Ast_aggregated.Types.location | `Self_ast_aggregated_unmatched_entrypoint of Ast_aggregated.Types.location ], [> `Self_ast_aggregated_warning_bad_self_type of Ast_aggregated.Types.type_expression * Ast_aggregated.Types.type_expression * Ast_aggregated.Types.location ] ) Simple_utils.Trace.raise -> ( Self_ast_aggregated__Contract_passes.contract_type -> Ast_aggregated.Types.expression -> bool * Self_ast_aggregated__Contract_passes.contract_type * Ast_aggregated.Types.expression ) list
val all_contract : raise: ( [> `Self_ast_aggregated_bad_format_entrypoint_ann of string * Ast_aggregated.Types.location | `Self_ast_aggregated_emit_tag_not_literal of Ast_aggregated.Types.location | `Self_ast_aggregated_entrypoint_ann_not_literal of Ast_aggregated.Types.location | `Self_ast_aggregated_unmatched_entrypoint of Ast_aggregated.Types.location ], [> `Self_ast_aggregated_warning_bad_self_type of Ast_aggregated.Types.type_expression * Ast_aggregated.Types.type_expression * Ast_aggregated.Types.location ] ) Simple_utils.Trace.raise -> Ast_aggregated.type_expression -> Ast_aggregated.type_expression -> Ast_aggregated.expression -> Ast_aggregated.expression