Module `Closure_conversion_aux.Function_decls`

Used to represent information about a set of function declarations during closure conversion. (The only case in which such a set may contain more than one declaration is when processing "let rec".)

module Function_decl : sig ... end

type t

val create : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t
    list ->
  Lambda.locality_mode ->
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.t

val alloc_mode : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.t ->
  Lambda.locality_mode

val to_list : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.t ->
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.Function_decl.t
    list

val all_free_idents : 
  Flambda2_from_lambda.Closure_conversion_aux.Function_decls.t ->
  Ident.Set.t

Module Closure_conversion_aux.Function_decls

Module `Closure_conversion_aux.Function_decls`