Module `Flambda2_parser.Fexpr_to_flambda_commons`

val map_accum_left : ('a -> 'b -> 'c * 'a) -> 'a -> 'b list -> 'c list * 'a

module C : sig ... end

module CM : sig ... end

module V : sig ... end

module VM : sig ... end

module S : sig ... end

module SM : sig ... end

module D : sig ... end

module DM : sig ... end

module U : sig ... end

module UT : sig ... end

module W : sig ... end

module WT : sig ... end

type env = {

done_continuation : Flambda2_identifiers.Continuation.t;
error_continuation : Flambda2_terms.Exn_continuation.t;
continuations : (Flambda2_identifiers.Continuation.t * int) CM.t;
exn_continuations : Flambda2_identifiers.Continuation.t CM.t;
toplevel_region : Flambda2_identifiers.Variable.t;
variables : Flambda2_identifiers.Variable.t VM.t;
symbols : Flambda2_identifiers.Symbol.t SM.t;
code_ids : Flambda2_identifiers.Code_id.t DM.t;
function_slots : Flambda2_identifiers.Function_slot.t UT.t;
vars_within_closures : Flambda2_identifiers.Value_slot.t WT.t;

}

val init_env : unit -> env

val enter_code : env -> env

val fresh_cont : 
  env ->
  CM.key Fexpr.located ->
  sort:Flambda2_identifiers.Continuation.Sort.t ->
  arity:int ->
  Flambda2_identifiers.Continuation.t * env

val fresh_exn_cont : 
  env ->
  CM.key Fexpr.located ->
  arity:int ->
  Flambda2_identifiers.Continuation.t * env

val fresh_var : 
  env ->
  VM.key Fexpr.located ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_identifiers.Variable.t
  * Flambda2_identifiers.Flambda_debug_uid.t
  * env

val fresh_or_existing_code_id : 
  env ->
  DM.key Fexpr.located ->
  Flambda2_identifiers.Code_id.t

val fresh_function_slot : 
  env ->
  UT.key Fexpr.located ->
  Flambda2_identifiers.Function_slot.t

val fresh_or_existing_function_slot : 
  env ->
  UT.key Fexpr.located ->
  Flambda2_identifiers.Function_slot.t

val fresh_value_slot : 
  env ->
  WT.key Fexpr.located ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_identifiers.Value_slot.t

val fresh_or_existing_value_slot : 
  env ->
  WT.key Fexpr.located ->
  Flambda2_kinds.Flambda_kind.t ->
  Flambda2_identifiers.Value_slot.t

val print_scoped_location : Format.formatter -> Lambda.scoped_location -> unit

val compilation_unit : Fexpr.compilation_unit -> Compilation_unit.t

val declare_symbol : 
  env ->
  (Fexpr.compilation_unit option * SM.key) Fexpr.located ->
  Flambda2_identifiers.Symbol.t

val find_with : 
  descr:string ->
  find:(string -> 'a -> 'b option) ->
  'a ->
  string Fexpr.located ->
  'b

val get_symbol : 
  env ->
  (Fexpr.compilation_unit option * SM.key) Fexpr.located ->
  Flambda2_identifiers.Symbol.t

val find_cont_id : 
  env ->
  CM.key Fexpr.located ->
  Flambda2_identifiers.Continuation.t * int

val find_cont : 
  env ->
  Fexpr.continuation ->
  Flambda2_identifiers.Continuation.t * int

val find_result_cont : 
  env ->
  Fexpr.result_continuation ->
  Flambda2_terms.Apply_expr.Result_continuation.t

val find_exn_cont_id : 
  env ->
  CM.key Fexpr.located ->
  Flambda2_identifiers.Continuation.t

val find_exn_cont : 
  env ->
  Fexpr.continuation ->
  (Flambda2_identifiers.Int_ids.Simple.t
   * Flambda2_kinds.Flambda_kind.With_subkind.full_kind)
    list ->
  Flambda2_terms.Exn_continuation.t

val find_var : env -> VM.key Fexpr.located -> Flambda2_identifiers.Variable.t

val find_region : env -> Fexpr.region -> Flambda2_identifiers.Variable.t

val find_code_id : 
  env ->
  DM.key Fexpr.located ->
  Flambda2_identifiers.Code_id.t

Module Flambda2_parser.Fexpr_to_flambda_commons

Module `Flambda2_parser.Fexpr_to_flambda_commons`