Up  Next

Module type Extmap.OrderedType

module type OrderedType = Stdlib.Map.OrderedType

Input signature of the functor Extmap.Make.