Imandrakit.Backtrackable_tbl
module type S = sig ... end
module type ARG = sig ... end
module Make (A : ARG) : S with type key = A.t