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