sig
module M :
sig
type t
type t_call_info
val is_bottom : t -> bool
val merge : t -> t -> t
val combine : t -> t -> t * t
val pretty : Format.formatter -> t -> unit
end
val mark_to_prop_to_caller_input :
PdgMarks.T_Config.M.t PdgMarks.t_call_m2m
val mark_to_prop_to_called_output :
PdgMarks.T_Config.M.t PdgMarks.t_call_m2m
end