Module Piecewise_linear_intf

module Piecewise_linear_intf: sig .. end

create enforces that key values are non-decreasing.

module type Key = sig .. end

module type Value = sig .. end

module type S = sig .. end

module type S_invertible = sig .. end

create enforces that key values are non-decreasing.

create enforces that the x (key) values are strictly increasing. It also enforces that the y (value) values are either strictly increasing or strictly decreasing. These two properties give us invertibility.

get_inverse t value is the inverse operation of get t key.