module type S_invertible = S_invertible with type ('k, 'v) t_ := ('k, 'v) t_invertible
S_invertible
with type ('k, 'v) t_ := ('k, 'v) t_invertible