module type S = sig
  type key
  type 'a t

  val to_dyn : ('a -> Dyn.t) -> 'a t -> Dyn.t
  val equal : ('a -> 'a -> bool) -> 'a t -> 'a t -> bool
  val enumerate : 'a t -> (key * int) list * 'a list

  (** Create a mapping where all keys map to the same value *)
  val for_all : 'a -> 'a t

  (** Create a mapping from a list of bindings *)
  val of_mapping : (key list * 'a) list -> default:'a -> ('a t, key * 'a * 'a) result

  (** Get the configuration for the given item *)
  val get : 'a t -> key -> 'a

  (** Returns [true] if the mapping returns the same value for all keys. Note
      that the mapping might still be constant if [is_constant] returns [false]. *)
  val is_constant : _ t -> bool

  val map : 'a t -> f:('a -> 'b) -> 'b t
  val fold : 'a t -> init:'acc -> f:('a -> 'acc -> 'acc) -> 'acc
  val exists : 'a t -> f:('a -> bool) -> bool

  module Make_monad_traversals (Monad : sig
      include Monad.S

      val all : 'a t list -> 'a list t
    end) : sig
    val fold : 'a t -> init:'acc -> f:('a -> 'acc -> 'acc Monad.t) -> 'acc Monad.t
    val map : 'a t -> f:('a -> 'b Monad.t) -> 'b t Monad.t
  end
end
