module Make_invertible: functor (Key : Piecewise_linear_intf.Float_like) -> functor (Value : Piecewise_linear_intf.Float_like) -> S_invertible with type key = Key.t with type value = Value.t
functor (
Key
:
Piecewise_linear_intf.Float_like
) ->
Value
S_invertible
with type key = Key.t
with type value = Value.t