Module Make_invertible (Key : Piecewise_linear_intf.Float_like) (Value : Piecewise_linear_intf.Float_like) : S_invertible with type key = Key.t with type value = Value.t