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