Module type Piecewise_linear.S

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