jon.recoil.org

Module Trap_action.Option

type nonrec t = t option
val print : Format.formatter -> t -> unit
val ids_for_export : t -> Flambda2_nominal.Ids_for_export.t
val apply_renaming : t -> Flambda2_nominal.Renaming.t -> t