sig
  val dump_of_ph : Ph_types.ph -> Ph_types.ctx -> string
  val prism_of_ph : Ph_types.ph -> Ph_types.ctx -> string
  type opts = {
    alpha : float;
    round_fi : float * float -> int * int;
    coop_priority : bool;
  }
  val romeo_pid : Ph_types.ph -> Ph_types.process -> string
  val romeo_of_ph :
    Ph_translator.opts -> Ph_types.ph -> Ph_types.ctx -> string
  val asp_of_ph : Ph_types.ph -> Ph_types.ctx -> string
  val an_of_ph : Ph_translator.opts -> Ph_types.ph -> Ph_types.ctx -> string
end