Skip to content

Commit

Permalink
refactor(pkg): write out signature for role map (#11312)
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <[email protected]>
  • Loading branch information
rgrinberg authored Jan 17, 2025
1 parent 362aeba commit f1dbfbe
Showing 1 changed file with 12 additions and 1 deletion.
13 changes: 12 additions & 1 deletion src/0install-solver/s.ml
Original file line number Diff line number Diff line change
Expand Up @@ -108,7 +108,18 @@ module type SELECTIONS = sig
(** Some selections previously produced by a solver. *)

include CORE_MODEL
module RoleMap : Map.S with type key = Role.t

module RoleMap : sig
type key = Role.t
type 'a t

val find_opt : key -> 'a t -> 'a option
val iter : (key -> 'a -> unit) -> 'a t -> unit
val fold : (key -> 'a -> 'acc -> 'acc) -> 'a t -> 'acc -> 'acc
val of_seq : (key * 'a) Seq.t -> 'a t
val to_seq : 'a t -> (key * 'a) Seq.t
val bindings : 'a t -> (key * 'a) list
end

type t

Expand Down

0 comments on commit f1dbfbe

Please sign in to comment.