Module `Flambda2_terms.Result_types`

type t

val create : 
  params:Flambda2_bound_identifiers.Bound_parameters.t ->
  results:Flambda2_bound_identifiers.Bound_parameters.t ->
  Flambda2_types.Typing_env_extension.With_extra_variables.t ->
  Flambda2_terms.Result_types.t

val pattern_match : 
  Flambda2_terms.Result_types.t ->
  f:
    (params:Flambda2_bound_identifiers.Bound_parameters.t ->
      results:Flambda2_bound_identifiers.Bound_parameters.t ->
      Flambda2_types.Typing_env_extension.With_extra_variables.t ->
      'a) ->
  'a

include Flambda2_nominal.Contains_names.S
  with type t := Flambda2_terms.Result_types.t

val free_names : 
  Flambda2_terms.Result_types.t ->
  Flambda2_nominal.Name_occurrences.t

Compute the free names of a term. Such computation covers all kinds of bindable names (variables, continuations, ...)

val apply_renaming : 
  Flambda2_terms.Result_types.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_terms.Result_types.t

Apply a renaming throughout a term.

include Flambda2_nominal.Contains_ids.S
  with type t := Flambda2_terms.Result_types.t

val ids_for_export : 
  Flambda2_terms.Result_types.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

val print : Stdlib.Format.formatter -> Flambda2_terms.Result_types.t -> unit

val map_result_types : 
  Flambda2_terms.Result_types.t ->
  f:(Flambda2_types.t -> Flambda2_types.t) ->
  Flambda2_terms.Result_types.t

Module Flambda2_terms.Result_types

Module `Flambda2_terms.Result_types`