From e233c846ec2abd2a08306306bba1b8ee40ba7657 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 16 Aug 2022 21:27:32 -0400 Subject: [PATCH] refactor: cleanup config a bit --- src/base/Config.ml | 4 +--- src/base/Config.mli | 8 +++----- 2 files changed, 4 insertions(+), 8 deletions(-) diff --git a/src/base/Config.ml b/src/base/Config.ml index f82120c5..2c1918ca 100644 --- a/src/base/Config.ml +++ b/src/base/Config.ml @@ -1,6 +1,4 @@ -(** {1 Configuration} *) - -type 'a sequence = ('a -> unit) -> unit +(** Configuration *) module Key = Het.Key diff --git a/src/base/Config.mli b/src/base/Config.mli index 2c7f51c3..43d2a30a 100644 --- a/src/base/Config.mli +++ b/src/base/Config.mli @@ -1,7 +1,5 @@ (** Configuration *) -type 'a sequence = ('a -> unit) -> unit - module Key : sig type 'a t @@ -26,9 +24,9 @@ val find_exn : 'a Key.t -> t -> 'a type pair = Pair : 'a Key.t * 'a -> pair val iter : (pair -> unit) -> t -> unit -val to_iter : t -> pair sequence -val of_iter : pair sequence -> t -val add_iter : t -> pair sequence -> t +val to_iter : t -> pair Iter.t +val of_iter : pair Iter.t -> t +val add_iter : t -> pair Iter.t -> t val add_list : t -> pair list -> t val of_list : pair list -> t val to_list : t -> pair list