simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-06 03:05:31 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

refactor: cleanup config a bit

Browse source
This commit is contained in:
Simon Cruanes 2022-08-16 21:27:32 -04:00
parent d5b7c2b0ee
commit e233c846ec
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 4 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/base/Config.ml
View file

@ -1,6 +1,4 @@
(** {1 Configuration} *) (** Configuration *)
type 'a sequence = ('a -> unit) -> unit
module Key = Het.Key module Key = Het.Key

8
src/base/Config.mli
View file

@ -1,7 +1,5 @@
(** Configuration *) (** Configuration *)
type 'a sequence = ('a -> unit) -> unit
module Key : sig module Key : sig
type 'a t type 'a t
@ -26,9 +24,9 @@ val find_exn : 'a Key.t -> t -> 'a
type pair = Pair : 'a Key.t * 'a -> pair type pair = Pair : 'a Key.t * 'a -> pair
val iter : (pair -> unit) -> t -> unit val iter : (pair -> unit) -> t -> unit
val to_iter : t -> pair sequence val to_iter : t -> pair Iter.t
val of_iter : pair sequence -> t val of_iter : pair Iter.t -> t
val add_iter : t -> pair sequence -> t val add_iter : t -> pair Iter.t -> t
val add_list : t -> pair list -> t val add_list : t -> pair list -> t
val of_list : pair list -> t val of_list : pair list -> t
val to_list : t -> pair list val to_list : t -> pair list