Bidir_tbl.S
type t_from
type t_into
type t
val create : int -> t
val length : t -> int
val add : t -> t_from -> t_into -> unit
val mem_from : t -> t_from -> bool
val get_from : t -> t_from -> t_into option
val mem_into : t -> t_into -> bool
val get_into : t -> t_into -> t_from option
val remove : t -> t_from -> unit