Module `Int_ids.Coercion`

type variable = Flambda2_identifiers.Int_ids.Variable.t

type rec_info_expr = Flambda2_identifiers.Int_ids.Rec_info_expr.t

type t = private

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

val change_depth : 
  from:Flambda2_identifiers.Int_ids.Coercion.rec_info_expr ->
  to_:Flambda2_identifiers.Int_ids.Coercion.rec_info_expr ->
  Flambda2_identifiers.Int_ids.Coercion.t

val id : Flambda2_identifiers.Int_ids.Coercion.t

val is_id : Flambda2_identifiers.Int_ids.Coercion.t -> bool

val inverse : 
  Flambda2_identifiers.Int_ids.Coercion.t ->
  Flambda2_identifiers.Int_ids.Coercion.t

val compose : 
  Flambda2_identifiers.Int_ids.Coercion.t ->
  then_:Flambda2_identifiers.Int_ids.Coercion.t ->
  Flambda2_identifiers.Int_ids.Coercion.t option

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

val equal : 
  Flambda2_identifiers.Int_ids.Coercion.t ->
  Flambda2_identifiers.Int_ids.Coercion.t ->
  bool

val hash : Flambda2_identifiers.Int_ids.Coercion.t -> int

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

Module Int_ids.Coercion

Module `Int_ids.Coercion`