Module Data.HoasHooks

type descriptor = {
  1. extra_goals_postprocessing : Conversion.extra_goals_postprocessing option;
}
val new_descriptor : unit -> descriptor ref
val set_extra_goals_postprocessing : descriptor:descriptor ref -> Conversion.extra_goals_postprocessing -> unit