Up

Module Proxy_map

Signature

type t
val compare : t -> t -> int
val empty : t
val single : Pm_key.t -> Proxy.t -> t
val group : t -> t
val of_alist : (Pm_key.t * Proxy.t) list -> (t, (Pm_key.t * Proxy.t list) list) Core.Std.Result.t
val equal_or_witness : t -> t -> (unit, Pm_key.t list) Core.Std.Result.t
val merge : t list -> (t, (Pm_key.t * Proxy.t list) list) Core.Std.Result.t
val shallow_length : t -> int
val filesystem_assumptions : t -> [>
| `Dirs of Path.Hash_set.t
] * [>
| `Files of Path.Hash_set.t
] * [>
| `Arbitrary_files of Path.Hash_set.t
]
module Group : sig .. end
val to_paths_for_mtimes_check : t -> Path.t list * Group.t list