Sized (mavkit-libs.Mavryk

module type SizedSet = sig ... end

This module implements a sized-set data-structure.

module MakeSizedSet
  (Set : Mavryk_error_monad.TzLwtreslib.Set.S) : 
  SizedSet with type elt = Set.elt and type set := Set.t

This module implements a sized-set data-structure.

module type SizedMap = sig ... end

This module implements a sized-map data-structure.

module MakeSizedMap
  (Map : Mavryk_error_monad.TzLwtreslib.Map.S) : 
  SizedMap with type key = Map.key and type 'a map := 'a Map.t

This module implements a sized-map data-structure.