package plato

  1. Overview
  2. Docs
module type CONTAINER = sig ... end
module type POLYMORPHIC_CONTAINER = sig ... end
module type HASHABLE = sig ... end
module type ITERABLE = sig ... end
module type POLYMORPHIC_ITERABLE = sig ... end
module type REVERSIBLE = sig ... end
module type SIZED = sig ... end
module type POLYMORPHIC_SIZED = sig ... end
module type COLLECTION = sig ... end
module type POLYMORPHIC_COLLECTION = sig ... end
module type MIN_SEQUENCE = sig ... end
module type SEQUENCE = sig ... end
module type SEQUENCE_BUILDER = functor (M : MIN_SEQUENCE) -> SEQUENCE with type e := M.e and type t := M.t and type key := M.key
module type MIN_MAPPING = sig ... end
module type MAPPING = sig ... end
module type MIN_MUTABLE_MAPPING = sig ... end
module type MUTABLE_MAPPING = sig ... end
module type MUTABLE_MAPPING_BUILDER = functor (M : MIN_MUTABLE_MAPPING) -> MUTABLE_MAPPING with type key := M.key and type in_value := M.in_value and type out_value := M.out_value and type t := M.t
module MutableMappingOfHashtbl (P : sig ... end) : sig ... end
module type MIN_POLYMORPHIC_MAPPING = sig ... end
module type POLYMORPHIC_MAPPING = sig ... end
module type MIN_POLYMORPHIC_MUTABLE_MAPPING = sig ... end
module type POLYMORPHIC_MUTABLE_MAPPING = sig ... end
module type POLYMORPHIC_MUTABLE_MAPPING_BUILDER = functor (M : MIN_POLYMORPHIC_MUTABLE_MAPPING) -> POLYMORPHIC_MUTABLE_MAPPING with type key := M.key and type 'value t := 'value M.t
module PolymorphicMutableMappingOfHashtbl (P : sig ... end) : sig ... end