sig
  type t = CtrlDpds.State.t CtrlDpds.IH.t
  val create : int -> 'CtrlDpds.IH.t
  val add : 'CtrlDpds.IH.t -> int -> '-> unit
  val find : 'CtrlDpds.IH.t -> int -> 'a
  val pretty : Format.formatter -> CtrlDpds.t_info CtrlDpds.IH.t -> unit
end