Module `Flambda2_term_basics.Coercion`

include module type of struct include Flambda2_identifiers.Int_ids.Coercion end

type variable = Flambda2_identifiers.Int_ids.Variable.t

type rec_info_expr = Flambda2_identifiers.Int_ids.Rec_info_expr.t

type t = private Flambda2_identifiers.Int_ids.Coercion.t =

| Id
| Change_depth of {
1. from : Flambda2_term_basics.Coercion.rec_info_expr;
2. to_ : Flambda2_term_basics.Coercion.rec_info_expr;
}

val change_depth : 
  from:Flambda2_term_basics.Coercion.rec_info_expr ->
  to_:Flambda2_term_basics.Coercion.rec_info_expr ->
  Flambda2_term_basics.Coercion.t

val id : Flambda2_term_basics.Coercion.t

val is_id : Flambda2_term_basics.Coercion.t -> bool

val inverse : 
  Flambda2_term_basics.Coercion.t ->
  Flambda2_term_basics.Coercion.t

val compose : 
  Flambda2_term_basics.Coercion.t ->
  then_:Flambda2_term_basics.Coercion.t ->
  Flambda2_term_basics.Coercion.t option

val equal : 
  Flambda2_term_basics.Coercion.t ->
  Flambda2_term_basics.Coercion.t ->
  bool

val hash : Flambda2_term_basics.Coercion.t -> int

val map_depth_variables : 
  Flambda2_term_basics.Coercion.t ->
  f:
    (Flambda2_term_basics.Coercion.variable ->
      Flambda2_term_basics.Coercion.variable) ->
  Flambda2_term_basics.Coercion.t

include Flambda2_nominal.Contains_names.S
  with type t := Flambda2_term_basics.Coercion.t

val free_names : 
  Flambda2_term_basics.Coercion.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_term_basics.Coercion.t ->
  Flambda2_nominal.Renaming.t ->
  Flambda2_term_basics.Coercion.t

Apply a renaming throughout a term.

include Flambda2_nominal.Contains_ids.S
  with type t := Flambda2_term_basics.Coercion.t

val ids_for_export : 
  Flambda2_term_basics.Coercion.t ->
  Flambda2_nominal.Ids_for_export.t

Gather all table identifiers to export them.

val print : Stdlib.Format.formatter -> Flambda2_term_basics.Coercion.t -> unit

val free_names_in_types : 
  Flambda2_term_basics.Coercion.t ->
  Flambda2_nominal.Name_occurrences.t

val compose_exn : 
  Flambda2_term_basics.Coercion.t ->
  then_:Flambda2_term_basics.Coercion.t ->
  Flambda2_term_basics.Coercion.t

Module Flambda2_term_basics.Coercion

Module `Flambda2_term_basics.Coercion`