Module Self_ast_typed

module Errors : sig ... end
module Helpers : sig ... end
val all_module_passes : raise: ( [> `Self_ast_typed_recursive_call_is_only_allowed_as_the_last_operation of Ast_typed.expression_variable * Ast_typed.location ], [> `Self_ast_typed_warning_muchused of Simple_utils.Location.t * string | `Self_ast_typed_warning_unused of Simple_utils.Location.t * string | `Self_ast_typed_warning_unused_rec of Simple_utils.Location.t * string ] ) Simple_utils.Trace.raise -> warn_unused_rec:bool -> ( Ast_typed.module_ -> Ast_typed.module_ ) list
val all_expression_passes : raise: ( [> `Self_ast_typed_recursive_call_is_only_allowed_as_the_last_operation of Ast_typed.expression_variable * Ast_typed.location ], [> `Self_ast_typed_warning_unused_rec of Simple_utils.Location.t * string ] ) Simple_utils.Trace.raise -> warn_unused_rec:bool -> ( Ast_typed.expression -> Ast_typed.expression ) list
val contract_passes : raise: ( [> `Self_ast_typed_nested_bigmap of Ast_typed.location ], 'a ) Simple_utils.Trace.raise -> ( Self_ast_typed__Contract_passes.contract_pass_data -> Ast_typed.expression -> bool * Self_ast_typed__Contract_passes.contract_pass_data * Ast_typed.expression ) list
val all_module : raise: ( [> `Self_ast_typed_recursive_call_is_only_allowed_as_the_last_operation of Ast_typed.expression_variable * Ast_typed.location ], [> `Self_ast_typed_warning_muchused of Simple_utils.Location.t * string | `Self_ast_typed_warning_unused of Simple_utils.Location.t * string | `Self_ast_typed_warning_unused_rec of Simple_utils.Location.t * string ] ) Simple_utils.Trace.raise -> warn_unused_rec:bool -> Ast_typed.module_ -> Ast_typed.module_
val all_expression : raise: ( [> `Self_ast_typed_recursive_call_is_only_allowed_as_the_last_operation of Ast_typed.expression_variable * Ast_typed.location ], [> `Self_ast_typed_warning_unused_rec of Simple_utils.Location.t * string ] ) Simple_utils.Trace.raise -> warn_unused_rec:bool -> Ast_typed.expression -> Ast_typed.expression
val all_contract : raise: ( [> `Self_ast_typed_bad_contract_io of Ast_typed.expression_variable * Ast_typed.expression | `Self_ast_typed_corner_case of string | `Self_ast_typed_expected_list_operation of Ast_typed.expression_variable * Ast_typed.type_expression * Ast_typed.expression | `Self_ast_typed_expected_pair_in of Ast_typed.location * [> `Contract ] | `Self_ast_typed_expected_pair_out of Ast_typed.location | `Self_ast_typed_expected_same_entry of Ast_typed.expression_variable * Ast_typed.type_expression * Ast_typed.type_expression * Ast_typed.expression | `Self_ast_typed_nested_bigmap of Ast_typed.location ], 'a ) Simple_utils.Trace.raise -> Ast_typed.expression_variable -> Ast_typed.module_ -> Ast_typed.Types.program
val all_view : raise: ( [> `Self_ast_typed_annotated_declaration_shadowed of Ast_typed.Helpers.Location.t | `Self_ast_typed_bad_contract_io of Ast_typed.expression_variable * Ast_typed.expression | `Self_ast_typed_bad_view_io of Ast_typed.expression_variable * Simple_utils.Location.t | `Self_ast_typed_corner_case of string | `Self_ast_typed_expected_list_operation of Ast_typed.expression_variable * Ast_typed.type_expression * Ast_typed.expression | `Self_ast_typed_expected_pair_in of Simple_utils.Location.t * [> `Contract | `View ] | `Self_ast_typed_expected_pair_out of Ast_typed.location | `Self_ast_typed_expected_same_entry of Ast_typed.expression_variable * Ast_typed.type_expression * Ast_typed.type_expression * Ast_typed.expression | `Self_ast_typed_storage_view_contract of Simple_utils.Location.t * Ast_typed.expression_variable * Ast_typed.expression_variable * Ast_typed.type_expression * Ast_typed.Types.type_expression | `Self_ast_typed_view_io of Simple_utils.Location.t * Ast_typed.Types.ty_expr * [> `In | `Out ] ], [> `Main_view_ignored of Ast_typed.Types.location ] ) Simple_utils.Trace.raise -> string list option -> Ast_typed.expression_variable -> Ast_typed.Types.program -> Ast_typed.Types.program
val all : ( raise: ( [> `Self_ast_typed_recursive_call_is_only_allowed_as_the_last_operation of Ast_typed.expression_variable * Ast_typed.location ], 'a ) Simple_utils__Trace.raise -> Ast_typed.expression -> Ast_typed.expression ) list