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