sig
exception Trans_error of Ast.l * string
type 'a macro = Macro_expander.macro_context -> 'a -> 'a option
type pat_macro = Macro_expander.pat_position -> Typed_ast.pat Trans.macro
module Macros :
functor (E : sig val env : Typed_ast.env end) ->
sig
val remove_singleton_record_updates : Typed_ast.exp Trans.macro
val remove_multiple_record_updates : Typed_ast.exp Trans.macro
val sort_record_fields : Typed_ast.exp Trans.macro
val remove_list_comprehension : Typed_ast.exp Trans.macro
val remove_set_comprehension : Typed_ast.exp Trans.macro
val remove_set_comprehension_image_filter :
bool -> Typed_ast.exp Trans.macro
val remove_setcomp : Typed_ast.exp Trans.macro
val cleanup_set_quant : Typed_ast.exp Trans.macro
val remove_set_comp_binding : Typed_ast.exp Trans.macro
val remove_set_restr_quant : Typed_ast.exp Trans.macro
val list_quant_to_set_quant : Typed_ast.exp Trans.macro
val remove_restr_quant :
(Typed_ast.pat -> bool) -> Typed_ast.exp Trans.macro
val remove_quant : Typed_ast.exp Trans.macro
val remove_quant_coq : Typed_ast.exp Trans.macro
val remove_unit_pats : Trans.pat_macro
val coq_type_annot_pat_vars : Trans.pat_macro
val remove_method :
Target.target -> bool -> Typed_ast.exp Trans.macro
val remove_method_pat : Trans.pat_macro
val remove_num_lit : Typed_ast.exp Trans.macro
val remove_class_const : Target.target -> Typed_ast.exp Trans.macro
val remove_function : Typed_ast.exp Trans.macro
val remove_sets : Typed_ast.exp Trans.macro
val string_lits_isa : Typed_ast.exp Trans.macro
val remove_fun_pats : bool -> Typed_ast.exp Trans.macro
val add_nexp_param_in_const : Typed_ast.exp Trans.macro
val remove_vector_access : Typed_ast.exp Trans.macro
val remove_vector_sub : Typed_ast.exp Trans.macro
val remove_do : Typed_ast.exp Trans.macro
end
end