Reducers (hax-engine.Hax_engine.Ast_utils.MakeWithNamePolicy.Reducers)

val collect_local_idents : 'a Visitors.reduce as 'a

val collect_ambiguous_local_idents : 'a Visitors.reduce as 'a

val disambiguate_local_idents : AST.item -> AST.item

val collect_global_idents : 'a Visitors.reduce as 'a

val collect_concrete_idents : 'a Visitors.reduce as 'a

val variables_of_pat : AST.pat -> Sets.Local_ident.t

val variables_of_param : AST.param -> Local_ident.t Prelude.list

val variables_of_pats : AST.pat Prelude.list -> Sets.Local_ident.t

val without_vars : 
  Sets.TypedLocalIdent.t ->
  Sets.Local_ident.t ->
  (TypedLocalIdent.t, TypedLocalIdent.comparator_witness)
    Hax_engine.Prelude.Set.t

val without_pats_vars : 
  Sets.TypedLocalIdent.t ->
  AST.pat Prelude.list ->
  Sets.TypedLocalIdent.t

val without_pat_vars : 
  Sets.TypedLocalIdent.t ->
  AST.pat ->
  Sets.TypedLocalIdent.t

val free_assigned_variables : 
  (F.arbitrary_lhs -> AST.expr -> Sets.TypedLocalIdent.t) ->
  'a Visitors.reduce as 'a

class 's expr_list_monoid : object ... end

val collect_break_payloads : 'a Visitors.reduce as 'a