Module type Piecewise_linear.S_invertible

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