Bidir_tbl (imandrakit.Imandrakit.Bidir

module type S = sig ... end

module type ARG = sig ... end

module Make
  (A : ARG) : 
  S with type t_from = A.From.t and type t_into = A.Into.t