sig
  type link = string
  type path = Dtools.Conf.link list
  type ut =
      < comments : string list; descr : string; kind : string option;
        path : Dtools.Conf.path -> Dtools.Conf.ut;
        plug : Dtools.Conf.link -> Dtools.Conf.ut -> unit;
        routes : Dtools.Conf.ut -> Dtools.Conf.path list;
        subs : Dtools.Conf.link list; ut : Dtools.Conf.ut >
  type 'a t =
      < alias : ?comments:string list ->
                ?descr:string -> (Dtools.Conf.ut -> unit) -> 'a Dtools.Conf.t;
        comments : string list; descr : string; get : 'a; get_d : 'a option;
        kind : string option; on_change : ('a -> unit) -> unit;
        path : Dtools.Conf.path -> Dtools.Conf.ut;
        plug : Dtools.Conf.link -> Dtools.Conf.ut -> unit;
        routes : Dtools.Conf.ut -> Dtools.Conf.path list; set : 'a -> unit;
        set_d : 'a option -> unit; subs : Dtools.Conf.link list;
        ut : Dtools.Conf.ut >
  type links = (Dtools.Conf.link * Dtools.Conf.ut) list
  exception Undefined of Dtools.Conf.ut
  exception Invalid of string
  exception Unbound of Dtools.Conf.ut * string
  exception Bound of Dtools.Conf.ut * string
  exception Mismatch of Dtools.Conf.ut
  exception Cyclic of Dtools.Conf.ut * Dtools.Conf.ut
  exception Wrong_Conf of string * string
  exception File_Wrong_Conf of string * int * string
  type 'a builder =
      ?d:'a ->
      ?p:(Dtools.Conf.ut -> unit) ->
      ?l:Dtools.Conf.links ->
      ?comments:string list -> string -> 'a Dtools.Conf.t
  val unit : unit Dtools.Conf.builder
  val int : int Dtools.Conf.builder
  val float : float Dtools.Conf.builder
  val bool : bool Dtools.Conf.builder
  val string : string Dtools.Conf.builder
  val list : string list Dtools.Conf.builder
  val void :
    ?p:(Dtools.Conf.ut -> unit) ->
    ?l:Dtools.Conf.links -> ?comments:string list -> string -> Dtools.Conf.ut
  val as_unit : Dtools.Conf.ut -> unit Dtools.Conf.t
  val as_int : Dtools.Conf.ut -> int Dtools.Conf.t
  val as_float : Dtools.Conf.ut -> float Dtools.Conf.t
  val as_bool : Dtools.Conf.ut -> bool Dtools.Conf.t
  val as_string : Dtools.Conf.ut -> string Dtools.Conf.t
  val as_list : Dtools.Conf.ut -> string list Dtools.Conf.t
  val path_of_string : string -> Dtools.Conf.path
  val string_of_path : Dtools.Conf.path -> string
  val descr : ?prefix:Dtools.Conf.path -> Dtools.Conf.ut -> string
  val dump : ?prefix:Dtools.Conf.path -> Dtools.Conf.ut -> string
  val conf_set : Dtools.Conf.ut -> string -> unit
  val conf_file : Dtools.Conf.ut -> string -> unit
  val args : Dtools.Conf.ut -> (string list * Stdlib.Arg.spec * string) list
end