Module Trap_action.Option
type nonrec t = Flambda2_terms.Trap_action.t optionval print :
Stdlib.Format.formatter ->
Flambda2_terms.Trap_action.Option.t ->
unitval ids_for_export :
Flambda2_terms.Trap_action.Option.t ->
Flambda2_nominal.Ids_for_export.tval apply_renaming :
Flambda2_terms.Trap_action.Option.t ->
Flambda2_nominal.Renaming.t ->
Flambda2_terms.Trap_action.Option.t