Module Int_ids.Coercion
type variable = Flambda2_identifiers.Int_ids.Variable.ttype rec_info_expr = Flambda2_identifiers.Int_ids.Rec_info_expr.ttype t = private | Id| Change_depth of {from : Flambda2_identifiers.Int_ids.Coercion.rec_info_expr;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.tval is_id : Flambda2_identifiers.Int_ids.Coercion.t -> boolval compose :
Flambda2_identifiers.Int_ids.Coercion.t ->
then_:Flambda2_identifiers.Int_ids.Coercion.t ->
Flambda2_identifiers.Int_ids.Coercion.t optionval print :
Stdlib.Format.formatter ->
Flambda2_identifiers.Int_ids.Coercion.t ->
unitval equal :
Flambda2_identifiers.Int_ids.Coercion.t ->
Flambda2_identifiers.Int_ids.Coercion.t ->
boolval hash : Flambda2_identifiers.Int_ids.Coercion.t -> intval 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